lamb/README.md

Lamb: A Lambda Calculus Engine

Todo (pre-release):

• \alpha-equivalence check
• Prettyprint functions (combine args, rename bound variables)
• Write a nice README
• Handle or avoid recursion errors
• Fix colors
• Clean up files
• Print macro content if only a macro is typed

Todo:

• live syntax check
• Command and macro autocomplete
• step-by-step reduction
• Maybe a better icon?
• Warn when overwriting macro
• Syntax highlighting: parenthesis, bound variables, macros, etc
• Pin header to top of screen
• PyPi package
• Smart alignment in all printouts
• Full-reduce option
• Set reduction limit command

Mention in Docs

• lambda functions only work with single-letter arguments
• church numerals
• how to install