agda-kernel (pypi): A rudimentary Jupyter kernel for Agda
Keywords: agda|jupyter|jupyter-notebook