LICENSE
README.md
pyproject.toml
lambda_calculus/__init__.py
lambda_calculus/errors.py
lambda_calculus/py.typed
lambda_calculus.egg-info/PKG-INFO
lambda_calculus.egg-info/SOURCES.txt
lambda_calculus.egg-info/dependency_links.txt
lambda_calculus.egg-info/top_level.txt
lambda_calculus/terms/__init__.py
lambda_calculus/terms/arithmetic.py
lambda_calculus/terms/combinators.py
lambda_calculus/terms/logic.py
lambda_calculus/terms/pairs.py
lambda_calculus/visitors/__init__.py
lambda_calculus/visitors/normalisation.py
lambda_calculus/visitors/walking.py
lambda_calculus/visitors/substitution/__init__.py
lambda_calculus/visitors/substitution/checked.py
lambda_calculus/visitors/substitution/renaming.py
lambda_calculus/visitors/substitution/unsafe.py