Egison kernel for Jupyter

How to install

git clone https://github.com/egison/egison_kernel.git
cd egison_kernel
pip install .  # install dependencies
python -m egison_kernel.install  # install Egison kernel itself

After that, copy egison_kernel/codemirror/mode/egison/egison.js to Jupyter's CodeMirror directory.

How to use

jupyter notebook
# In the notebook interface, select Egison from the 'New' menu

Acknowledgement

I learned how to implement a Jupyter kernel from bash_kernel.

I thank Shunsuke Gotoh for his article on the initial Python program of this kernel.