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
toadharvard/Lambada
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|