Commit 3936413f authored by POTTIER Francois's avatar POTTIER Francois

Initial README.md.

parent 6a5da409
Authors:
François Pottier <Francois.Pottier@inria.fr>
Yann Régis-Gianas <Yann.Regis-Gianas@pps.jussieu.fr>
Contributors:
Frédéric Bour (incremental engine, inspection API)
Jacques-Henri Jourdan (Coq back-end)
Menhir is an LR(1) parser generator for OCaml.
Menhir has a [home page](http://gallium.inria.fr/~fpottier/menhir/).
## Authors
* François Pottier <Francois.Pottier@inria.fr>
* Yann Régis-Gianas <Yann.Regis-Gianas@pps.jussieu.fr>
## Contributors
* Frédéric Bour (incremental engine, inspection API)
* Jacques-Henri Jourdan (Coq back-end)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment