An implementation of Barry Jay's closure calculus - a calculus of explicit substitutions.
Jay, B. (2019, January). A simpler lambda calculus. In Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (pp. 1-9). ACM.