605 B
605 B
Lamb: A Lambda Calculus Engine
Todo (pre-release):
\alpha
-equivalence check- Prettyprint functions (rename bound variables)
- Write a nice README
- Fix colors
- Print macro content if only a macro is typed
Todo:
- History accessible in prompt
- Command and macro autocomplete
- step-by-step reduction
- Syntax highlighting: parenthesis, bound variables, macros, etc
- PyPi package
- Smart alignment in all printouts
- Full-reduce option
- Free variable warning
Mention in Docs
- lambda functions only work with single-letter arguments
- church numerals
- how to install