/lambda-star

Implementation of meta lambda calculus with cross-level computation

Primary LanguageCommon Lisp

No issues in this repository yet.