agda-kernel

agda-kernel copied to clipboard

Kernel seems to install correctly, but only produces "cell must be evaluated first..."

1

I recently installed the kernel, together with the Jupyter notebook extensions (agda-extension). All seems well, the kernel starts as it should on a new notebook, but every time I press...

stanescuUW

The holes in the following fragment ``` module code.hole-test where f : ∀ {A : Set} → A → A f a = ? where g : ∀ {B :...

lclem

lclem

when a cell takes very long to evaluate, it may be convenient to do incremental output to show the user that the kernel is doing something. cf. [here](https://github.com/datacamp/bash_kernel/blob/master/bash_kernel/kernel.py).

lclem