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
    jeromesimeon@me.com

Sources

v1.0.7.tar.gz
md5=cae64f4a5cdc9b8f39f772376179b6e3

Description

Published: 23 Mar 2018

Dependencies (3)

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

Dev Dependencies

None

Used by (1)

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

Conflicts

None