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

v1.0.9.tar.gz
md5=5006334c6e311299e13e30b85f2bf54b

Description

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

Tags

keyword:javascript keyword:compiler date:2019-11-25 logpath:JsAst

Published: 25 Nov 2019

Dependencies (3)

  1. coq-flocq >= "2.6.1" & < "3.0~"
  2. coq >= "8.7.2" & < "8.9~"
  3. ocaml

Dev Dependencies

None

Used by (1)

  1. coq-qcert >= "1.0.7" & < "2.1.0"

Conflicts

None