An implementaion of Lambda calculus interpreter with small step operational semantic
See tests in interpreter folder for better understanding
- REPL
- Reduce the number of parentheses in the output
- Rewrite cringy Russian comments to English
Dance
-
Notifications
You must be signed in to change notification settings - Fork 1
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
License
toadharvard/Lambada
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published