Binding for Vega.
Wraps the ipyvega
library.
This package splits a part of @madman-bob's idris2-jupyter-vega package to remove the dependency on idris2-jupyter and idris2-python.
Install the ipyvega
library.
Note that the not needed in notebook >= 5.3
comment, in the ipyvega
installation instructions, refers to the --sys-prefix
flag, not the command as a whole.
To build:
idris2 --build idris2-vega.ipkg
To install:
idris2 --install idris2-vega.ipkg
If you're using pack:
pack build idris2-vega.ipkg
We generate the bindings from a json schema. We hope to be able to smoothly generate new binding when VegaLite's version updates.
Ensure the Idris 2 JSON Schema tool are installed, in a sibling directory of this repository.
If you're using pack:
pack install-app json-schema