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.