1 files changed, 13 insertions, 0 deletions
diff --git a/nvim/lsp/dolmenls.lua b/nvim/lsp/dolmenls.lua
new file mode 100755
index 0000000..c0eefb4
--- /dev/null
+++ b/nvim/lsp/dolmenls.lua
@@ -0,0 +1,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' },
+}