A mirror of https://gitlab.common-lisp.net/idimitriou/lambda A toy interpreter and compiler of the untyped λ calculus, written in common lisp.
Primary LanguageCommon Lisp
No issues in this repository yet.