A Lambda Calculus interpreter and "runtime environment"
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Scitoshi Nakayobro 2228274e78 Calculate De-Bruijn indices 11 months ago
src Calculate De-Bruijn indices 11 months ago
tests Add field for De Bruijn indices to Node::Ident 11 months ago
.gitignore Initial commit 11 months ago
Cargo.lock Initial commit 11 months ago
Cargo.toml Initial commit 11 months ago
LICENSE Add README.md and LICENSE 11 months ago
README.md Add README.md and LICENSE 11 months ago

README.md

lambda_calculus

This is just a simple Lambda Calculus interpreter. Nothing much to see here.