Build

$ dune build
$ dune exec alonzo lib/test.alonzo

STLC

• A Formulation of the Simple Theory of Types [Church]
• An overview of type theories [Guallart]

Credits

• Oleh Marakhovskyi