mirror of
https://github.com/neovim/nvim-lspconfig.git
synced 2025-12-24 15:01:00 +01:00
16 lines
315 B
Lua
16 lines
315 B
Lua
---@brief
|
|
---
|
|
--- https://github.com/Gbury/dolmen/blob/master/doc/lsp.md
|
|
---
|
|
--- `dolmenls` can be installed via `opam`
|
|
--- ```sh
|
|
--- opam install dolmen_lsp
|
|
--- ```
|
|
|
|
---@type vim.lsp.Config
|
|
return {
|
|
cmd = { 'dolmenls' },
|
|
filetypes = { 'smt2', 'tptp', 'p', 'cnf', 'icnf', 'zf' },
|
|
root_markers = { '.git' },
|
|
}
|