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/logic.py
lambda_calculus/terms/pairs.py
lambda_calculus/visitors/__init__.py
lambda_calculus/visitors/normalisation.py
lambda_calculus/visitors/substitution.py
lambda_calculus/visitors/walking.py