Lorenzo C
Lorenzo C
It would be great to be able to use Atom in order to work with `.lagda.md` source files. Would it be difficult to extend `agda-mode` to work with this different...
since it takes quite some time to build `pp` from scratch, would it be possible to create a homebrew formula for macos? thanks!
fixed a bug which triggered a cc keypress from a non-cc midi note input
The holes in the following fragment ``` module code.hole-test where f : ∀ {A : Set} → A → A f a = ? where g : ∀ {B :...
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).
would it be possible to update the runner with node16? it seems that this is required now
When there is this in a template Date: "{{now:currentDate:dd-MM-yyyy, hh\:mm\:ss}}" in the output note I get Date: "11-10-2024, 08:01\:49" instead of Date: "11-10-2024, 08:01:49"