Closed foxyseta closed 6 months ago
Closes #55. Also removed unused requires from the coq layer implementation (which I used as reference).
require
coq
neovim/nvim-lspconfig is a hard package dependency. Maybe I should specify visimp's lsp layer as a dependency instead?
neovim/nvim-lspconfig
lsp
Closes #55. Also removed unused
requires from thecoqlayer implementation (which I used as reference).neovim/nvim-lspconfigis a hard package dependency. Maybe I should specify visimp'slsplayer as a dependency instead?