An example of using Ott with LaTeX
This project demonstrates how to use Ott to describe a type system with LaTex. You can also check out the official user guide.
- Install opam (see https://opam.ocaml.org/doc/Install.html)
- Install ott
opam install ott
$ make