GitHub repository: madman-bob/idris2-jupyter-vega
Primary language: Idris
Created: 2021-09-07T15:58:51Z
Description: A Vega display plugin for the Idris 2 Jupyter kernel