alonzo
alonzo copied to clipboard
groupoid
🧊 Типізоване -גчислення
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
groupoid