Jupyter kernel wrapper of IPython for Idris2's REPL - View it on GitHub