The Caml Humps
Camlp4
Quotations
Latest adds/updates
Extensible grammars
Extensions for OCaml programs
Quotations
Date
Name
Description
2002-04-11
Coq
Coq uses camlp4 to define its own language.
By
Judicael Courant
,
Jean-Christophe Filliātre
,
Hugo Herbelin
,
Gilles Dowek
,
Christine Paulin-Mohring
,
Bruno Barras
,
Benjamin Werner