cornelis
cornelis copied to clipboard
isovector
agda-mode for neovim
- add a formatter that can be run with `nix fmt` - add more ghc versions to the output - remove overrides for non-existent `flake-utils` input - fix eventual breakage...
While working on some feature, I noticed that the testsuite is kind of broken. In particular, in the absence of a working Neovim, all the tests would magically pass. This...
Hi, I've recently picked up Cornelis and I'm enamored thinking about the possibilities of how the vim ecosystem could assist Agda programming, as its a great foundation. I use neovim...
Motivation: You can't really do much of anything else before agda finishes loading a file, so I'd rather my interface freeze to indicate that the buffer is not in a...
Personally, I think it might be useful to have the agda-input.vim functionality as it's own plugin, so it can be enabled in other settings, not necessarily agda. For example, I...
I'm not sure what the intended behaviour is here, but:  I get the error above if I run `:CornelisRefine` at the hole on line 0. I suspect the message:...
Thanks for this lovely plugin! I'm beyond excited to be able to agda in vim :) One thing I noticed is that if I begin a multi-line comment block, then...