A Vega display plugin for the Idris 2 Jupyter kernel
Primary LanguageIdris
No issues in this repository yet.