lsp/dolmenls.lua


1
2
3
4
5
6
7
8
9
10
11
12
13

---@brief
---
--- https://github.com/Gbury/dolmen/blob/master/doc/lsp.md
---
--- `dolmenls` can be installed via `opam`
--- ```sh
--- opam install dolmen_lsp
--- ```
return {
  cmd = { 'dolmenls' },
  filetypes = { 'smt2', 'tptp', 'p', 'cnf', 'icnf', 'zf' },
  root_markers = { '.git' },
}