Alonzo is a STLC type system written in OCaml.
$ 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
Alonzo is a STLC type system written in OCaml.
$ dune build
$ dune exec alonzo lib/nat.alonzo