The Caml Humps
Camlp4
Extensible grammars
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
2002-11-21
xmllexer
An XML lexer for Camlp4.
By
Manuel Maarek
