Combinatory logic interpreter written in Typescript. Allows dynamic definition of new combinators!
npm install aka-combinatory-logic
- Ability to define more combinators in the evaluation environment
- Convert string representing a CL-term to a CL-expression
- Print CL expressions back into strings
- Perform reduction steps on expressions which can be reduced
- Check for a reduction
- Doesn't support spaces when reading a string into a CL-term
- Thus all combinators and variables are only one letter each!
- Make it so that it can support computations with side-effects?