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