STLC type system
$ dune build
$ dune exec alonzo lib/nat.alonzo- A Formulation of the Simple Theory of Types [Church]
- An Overview of Type Theories [Guallart]
- Category Theory and Lambda Calculus [García]
- Oleh Marakhovskyi
STLC type system
$ dune build
$ dune exec alonzo lib/nat.alonzo