alonzo

Alonzo

STLC type system

Build

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

STLC

Credits