Menhir is an LR(1) parser generator for OCaml.
Menhir has a home page.
OCaml (4.02 or later), ocamlbuild, and GNU make are needed.
The latest released version of Menhir can be easily installed via
opam, OCaml's package manager. Just type opam install menhir.
For manual installation, see INSTALLATION.md.
- Frédéric Bour (incremental engine, inspection API, attributes, SDK)
- Jacques-Henri Jourdan (Coq back-end)