https://github.com/groupoid/alonzo

🧊 Типізоване ‏-ג‏‎числення
https://github.com/groupoid/alonzo

church lambda-calculus stlc

Last synced: 6 months ago
JSON representation

🧊 Типізоване ‏-ג‏‎числення

• Host: GitHub
• URL: https://github.com/groupoid/alonzo
• Owner: groupoid
• License: other
• Created: 2022-03-26T12:13:37.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2025-06-02T02:08:29.000Z (8 months ago)
• Last Synced: 2025-07-08T05:51:20.196Z (7 months ago)
• Topics: church, lambda-calculus, stlc
• Language: OCaml
• Homepage: https://alonzo.groupoid.space
• Size: 201 KB
• Stars: 16
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG
  • License: LICENSE

Awesome Lists containing this project

README

          
# Alonzo



Alonzo is a STLC type system written in OCaml.

## Build

```shell

$ 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