lambda_calculus 1.2.0

A library for lambda calculus. It supports parsing and evaluating lambda terms with different strategies. It also has preliminary support for type inference.

1.2.0

• Change the signature of fmap so that "non-leaf" callbacks no longer have access to the term itself. This is because previous usage of this term is not consistent.

• Fix the problem where variables with the same name can conflict with each other during evaluation.

• Better printing format for LambdaType.

• Fix typos in documentation.

• Make Lambda final.

• Remove dependency on dartz.

• More tests.

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.