aka-combinatory-logic

Combinatory logic interpreter written in Typescript.
Allows dynamic definition of new combinators!

npm install aka-combinatory-logic

Features

- 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

Limitations

- Doesn't support spaces when reading a string into a CL-term
- Thus all combinators and variables are only one letter each!

TODO

- Make it so that it can support computations with side-effects?