search

agda / agda-language-server

Language Server for Agda
MIT License
99 stars 17 forks source link

Usage with neovim #11

Closed DieracDelta closed 9 months ago

DieracDelta commented 2 years ago

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

Mechap commented 2 years ago

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

banacorn commented 9 months ago

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.