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
An implementaion of Lambda calculus interpreter with small step operational semantic
See tests in interpreter folder for better understanding