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
-
Notifications
You must be signed in to change notification settings - Fork 1
🧊 Типізоване -גчислення
License
groupoid/alonzo
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|