Important
Project put on hold until further notice.
Formal specification of a language of grammars and proofs about their ambiguity.
Project needs OCaml tooling, more concretely opam.
opam install . # install dependencies and build (check proofs)TODO: add instructions how to output OCaml code of the parser.
Can be found in docs/. Rendered documents are here.