imikrokosmos (pypi): A Jupyter kernel for the mikrokosmos lambda interpreter
Keywords: jupyter-notebook|lambda-calculus