https://github.com/toadharvard/lambada

Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
https://github.com/toadharvard/lambada

functional-programming lambda-calculus ocaml

Last synced: about 1 month ago
JSON representation

Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies

• Host: GitHub
• URL: https://github.com/toadharvard/lambada
• Owner: toadharvard
• License: mit
• Created: 2024-02-05T17:08:47.000Z (9 months ago)
• Default Branch: main
• Last Pushed: 2024-05-10T13:43:29.000Z (6 months ago)
• Last Synced: 2024-10-12T11:05:15.590Z (about 1 month ago)
• Topics: functional-programming, lambda-calculus, ocaml
• Language: OCaml
• Homepage:
• Size: 13.7 KB
• Stars: 16
• Watchers: 0
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# [Lambada](https://youtu.be/iyLdoQGBchQ?si=j_-c54sP1RnX9sA3)

An implementaion of Lambda calculus interpreter with small step operational semantic

See tests in interpreter folder for better understanding

## TODO: 

1. REPL

2. Reduce the number of parentheses in the output

3. Rewrite cringy Russian comments to English

4. ~~Dance~~