agda-language-server icon indicating copy to clipboard operation
agda-language-server copied to clipboard

Usage with neovim

Open DieracDelta opened this issue 2 years ago • 1 comments

Has anyone used this with neovim? If so, can yall point me to instructions on how to set it up?

DieracDelta avatar May 21 '22 22:05 DieracDelta

Unfortunately, it appears to be not supported by the lspconfig plugin https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md

Mechap avatar Aug 15 '22 17:08 Mechap

Most of the functionalities of this language server relies on custom methods. So it won't work on neovim even if you have the server set up. We're trying to replace these custom capabilities with the standard protocol as much as possible though.

banacorn avatar Nov 19 '23 15:11 banacorn