imikrokosmos

A Jupyter kernel for the mikrokosmos lambda interpreter


Keywords
jupyter-notebook, lambda-calculus
License
GPL-3.0
Install
pip install imikrokosmos==0.1

Documentation

IMikrokosmos

IMikrokosmos is a Jupyter/IPython kernel for the Mikrokosmos lambda interpreter.

Important: Please note that this Jupyter kernel only works on Windows on its windows-support branch. Certain features, such as unicode output, cause problems in this case.

mikrokosmos2

Installation

sudo pip install imikrokosmos

Manual installation

The kernel.json file must be placed inside a folder named jupyter-mikrokosmos in one of the following paths

~/.local/share/jupyter/kernels/jupyter-mikrokosmos/
/usr/share/jupyter/kernels/jupyter-mikrokosmos/

the mikrokosmoskernel.py file must be available for Python on the working directory, or, more generally, on the sys-path.

Support and contributing

If you are an user seeking support, please use the GitHub issue tracker of the main repository. The main repository also provides a CONTRIBUTING file where contribution guidelines are detailed.