nvim-agda

nvim-agda copied to clipboard

Develop

2

JumpToError counslt error message contents (byte2line won't work because of neovim's unapplied patch) add indent on make case handling chose different syntax on hole and unsolved metas ingnore error on...

shinji-kono

`commentstring` missing

6

Hi! Plugins like https://github.com/tpope/vim-commentary check the `commentstring` to get the formatting required to comment out lines. The other plugin I used had it https://github.com/derekelkins/agda-vim/blob/master/ftplugin/agda.vim#L64 and it seems like this is...

siers

jump to error using row and cols instead of byte positions make case indent compensation use string.gsub to remove "JSON> " instead of utf8.gsub to avoid invlid utf8 error write...

shinji-kono

Example for set up with Lazy package manager

2

More and more Neovim users are converging on the [lazy.nvim](https://github.com/folke/lazy.nvim) package manager by folke. I feel it would help others get onboard with this plugin if there a known good...

liamwh

This is something of a notice for other MacOS users, since it seems likely that this issue will persist. Because it's no longer possible to install Lua 5.1 using `brew`...

eikopf