This is an implementation of λ*, a meta lambda calculus with cross-level computation.
zeptometer/lambda-star
Implementation of meta lambda calculus with cross-level computation
Common Lisp
Implementation of meta lambda calculus with cross-level computation
Common Lisp
This is an implementation of λ*, a meta lambda calculus with cross-level computation.