zeptometer/lambda-star

Implementation of meta lambda calculus with cross-level computation

Common Lisp