lambda-calc

Parser for John Tromp's Lambda Diagrams.

Setup

uv sync
uv run pre-commit install

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.vscode		.vscode
notebooks		notebooks
src/lambda_calc		src/lambda_calc
test		test
.gitignore		.gitignore
.pre-commit-config.yaml		.pre-commit-config.yaml
.python-version		.python-version
LICENSE		LICENSE
README.md		README.md
pyproject.toml		pyproject.toml
uv.lock		uv.lock