Catt.io is an experimental typechecker for weak higher dimensional categories.
Catt.io has two dependencies for building the parser and lexer:
- Menhir
- ocamllex
These can be installed from opam.
The project builds with dune. A simple
dune build
should build the project. A top level Makefile is also provided for convenience.
Semistrictness can be turned on by using the --sua flag. To typecheck the examples, change to the examples directory and run:
../_build/default/bin/catt.exe --sua monoidal.catt
../_build/default/bin/catt.exe --sua syllepsis.catt