This release adds the `lambda_calculus.terms.abc` module containing predefined variables for all ASCII letters.
3.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`
2.2.3
This release fixes the documentation build.
2.2.2
The release adds documentation hosted at [Read the Docs](http://lambda-calculus.readthedocs.io/).
2.2.1
This release corrects the README statement about recursive terms and adds a unit test to ensure they work.
2.2.0
This release adds common combinators and `ISZERO` to the `terms` subpackage.