madman-bob/idris2-jupyter

A Jupyter Kernel for Idris 2

IdrisNOASSERTION