v3.1.0

This release adds the lambda_calculus.terms.abc module containing predefined variables for all ASCII letters.

v3.0.0

This release marks multiple things as final and performs some cleanup:

• mark Term subclasses as final
• mark predefined terms as final
• mark DepthFirstVisitor as final and add slots
• remove unused UnsafeSubstitution.free_variables

v2.2.3

This release fixes the documentation build.

v2.2.2

The release adds documentation hosted at Read the Docs.

v2.2.1

This release corrects the README statement about recursive terms and adds a unit test to ensure they work.

v2.2.0

This release adds common combinators and ISZERO to the terms subpackage.

v2.0.1

This release improves the string representations of CollisionError

v2.0.0

This release improves BetaNormalisingVisitor and the Visitors for variable substitution:

• BetaNormalisingVisitor now yields alpha conversions
• add Visitor to perform unchecked substitution to improve performance when possible
• add ABC for visitors which can be applied lazily
• refactored Visitors for variable substitution to use shorter class names

v1.11.0

This release adds method chaining for term construction

v1.10.2

This release fixes the license display on PyPI (again)