This paper is submitted but the review hasn't started.

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

Archive DOI: pending