lambda-core v0.0.2

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

1. implement comments
2. implement visitor.visitErrorNode in AstCreator
3. Extract helper methods for types, parameters, etc.
4. Eta-Reduction
5. let expressions
6. case expressions