lambda_calculus 1.1.1

A library for lambda calculus. It supports parsing and evaluating lambda terms with different strategies, with some built-in Church encodings and combinators. It also has preliminary support for type [...]

1.1.1

• Better documentation.

1.1.0

• Stop allowing constructing Lambda directly, instead, use LambdaBuilder.
• Access constants via LambdaBuilder.constants or Lambda.constants.
• Fix the problem where the index of a variable is sometimes null.

1.0.0

• Initial version.