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...
run-all-tests Loading commit data...
run-all-tests.lisp Loading commit data...
substitution.lisp Loading commit data...
syntax-de-bruijn.lisp Loading commit data...
syntax-ski.lisp Loading commit data...
syntax-standard.lisp Loading commit data...
transformations-ski.lisp Loading commit data...
transformations.lisp Loading commit data...
ui-texts.lisp Loading commit data...
ui.lisp Loading commit data...