blob: de240da0197ca32060fadf6ce61e7baf1bca978a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
---@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' },
}
|