11 lines
184 B
Lua
11 lines
184 B
Lua
|
---@brief
|
||
|
|
---
|
||
|
|
--- https://github.com/ejgallego/coq-lsp/
|
||
|
|
|
||
|
|
---@type vim.lsp.Config
|
||
|
|
return {
|
||
|
|
cmd = { 'coq-lsp' },
|
||
|
|
filetypes = { 'coq' },
|
||
|
|
root_markers = { '_CoqProject', '.git' },
|
||
|
|
}
|