package coq-jsast

  1. Overview
  2. No Docs
A minimal JavaScript syntax tree carved out of the JsCert project

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. M
    Martin Bodin <>
  2. A
    Arthur Charguéraud <>
  3. D
    Daniele Filaretti <>
  4. P
    Philippa Gardner <>
  5. S
    Sergio Maffeis <>
  6. D
    Daiva Naudziuniene <>
  7. A
    Alan Schmitt <>
  8. G
    Gareth Smith <>
  9. J
    Josh Auerbach <>
  10. M
    Martin Hirzel <>
  11. L
    Louis Mandel <>
  12. A
    Avi Shinnar <>
  13. J
    Jerome Simeon <>

Maintainers

  1. J
    Jerome Simeon <jeromesimeon@me.com>

Sources

v2.0.0.tar.gz
md5=cdda0e39036bbcb08fb5d048299dd103

Description

A minimal JavaScript syntax tree carved out of the JsCert project, with additional support for let bindings and using native floats.

Tags

keyword:javascript keyword:compiler date:2020-07-29 logpath:JsAst

Published: 29 Jul 2020

Dependencies (1)

  1. coq >= "8.11.2"

Dev Dependencies

None

Used by (1)

  1. coq-qcert >= "1.0.7"

Conflicts

None