Lambda Core
A library for the untyped lambda calculus.
It solves expressions with a naive approach as one would by hand. It can simplify expressions stepwise. So it's hopefully useful for educational purposes.
Do not use it when you need a fast interpreter - There are much better tools for that!
Usage
The syntax is similar to Haskell's lambda abstractions. See test/EvaluatorSpec.js for examples.
To Do
- implement comments
- implement visitor.visitErrorNode in AstCreator
- Extract helper methods for types, parameters, etc.
- Eta-Reduction
- let expressions
- case expressions