This paper is under review which means review has begun. You can track the progress of this review on GitHub over here »

An educational untyped and simply typed lambda-calculus interpreter that integrates with Jupyter Notebooks and online learning resources.

Archive DOI: pending