a2e5555c64
lua/custom/lsp/** configs This commit removes the need for nvim-lspconfig which is replaced by the vim.lsp API. The lsp/ folder is a copy of nvim-lspconfig's lsp/ folder as it makes it easy to modify LSP configurations on the fly. Conform: biome has been replaced with oxfmt
10 lines
202 B
Lua
10 lines
202 B
Lua
---@brief
|
|
---
|
|
--- https://github.com/rocq-prover/vsrocq
|
|
|
|
---@type vim.lsp.Config
|
|
return {
|
|
cmd = { 'vsrocqtop' },
|
|
filetypes = { 'coq' },
|
|
root_markers = { '_RocqProject', '_CoqProject', '.git' },
|
|
}
|