A toy interpreter and compiler of the untyped λ calculus, written in common lisp.

Name
Last commit
Last update
test Loading commit data...
.gitignore Loading commit data...
README.md Loading commit data...
compiler.lisp Loading commit data...
decodings.lisp Loading commit data...
encodings.lisp Loading commit data...
equality.lisp Loading commit data...
interpreter.lisp Loading commit data...
lambda.asd Loading commit data...
packages.lisp Loading commit data...
reducers.lisp Loading commit data...
renames.lisp Loading commit data...
substitution.lisp Loading commit data...
syntax-de-bruijn.lisp Loading commit data...
syntax-standard.lisp Loading commit data...
transformations.lisp Loading commit data...
ui-texts.lisp Loading commit data...
ui.lisp Loading commit data...