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