idris2-vim

idris2-vim copied to clipboard

With Vim 8 or later you don't need to use a plug-in manager like Pathogen or alike. I couldn't get the interactive editing commands working with the instructions in the...

domandlj

eayus

joliss

IWrite somehow persisently updates the file without requiring a write afterwards. This can lead to unexpected behaviour where Idris fails to recognise that a file has updated and checks the...

CodingCellist

These would have helped me, might help someone else.

stepancheg

Plugin does not load correctly on neovim / vim-plug

2

This might be specific to my setup, I've installed the plugin using Vim-Plug and I'm running the nightly build of NeoVim. The plugin would not load and no Idris2-Vim commands...

space-shell

The refactors were: - Move writing and updating the file being edited to `s:IdrisCommand` (removes a lot of code duplication) - Move saving the window view to `IWrite` (this guarantees...

GustavoMF31

JonathanLorimer

File error in --no-color: File Not Found

6

When I reach for \t on a hole I get this error followed by an idris error that doesn't make sense like undefined name...

yoeluk

I also did a refactor and put all functions into autoload for namespacing and lazy loading purposes. The only behavioral changes are in `idris2#responseWin` and `idris2#write` (formerly IdrisResponseWin and IWrite)....

maurges