GitHub - JohnCorby/lambda-calculus

Name	Name	Last commit message	Last commit date
Latest commit JohnCorby use `changed` variable instead `term == last_term` Sep 2, 2021 1ebfcf2 · Sep 2, 2021 History 23 Commits
.idea	.idea	better intern and a_conv	Sep 1, 2021
src	src	use `changed` variable instead `term == last_term`	Sep 2, 2021
.gitignore	.gitignore	init commit	Aug 30, 2021
Cargo.lock	Cargo.lock	fixed a_conv	Sep 2, 2021
Cargo.toml	Cargo.toml	fixed a_conv	Sep 2, 2021