diff options
Diffstat (limited to 'lua')
| -rw-r--r-- | lua/nvim_lsp.lua | 1 | ||||
| -rw-r--r-- | lua/nvim_lsp/leanls.lua | 26 |
2 files changed, 27 insertions, 0 deletions
diff --git a/lua/nvim_lsp.lua b/lua/nvim_lsp.lua index 70748e07..13e27020 100644 --- a/lua/nvim_lsp.lua +++ b/lua/nvim_lsp.lua @@ -9,6 +9,7 @@ require 'nvim_lsp/flow' require 'nvim_lsp/fortls' require 'nvim_lsp/gopls' require 'nvim_lsp/hie' +require 'nvim_lsp/leanls' require 'nvim_lsp/pyls' require 'nvim_lsp/rls' require 'nvim_lsp/solargraph' diff --git a/lua/nvim_lsp/leanls.lua b/lua/nvim_lsp/leanls.lua new file mode 100644 index 00000000..0f2e9618 --- /dev/null +++ b/lua/nvim_lsp/leanls.lua @@ -0,0 +1,26 @@ +local skeleton = require 'nvim_lsp/skeleton' +local util = require 'nvim_lsp/util' +local lsp = vim.lsp + +skeleton.leanls = { + default_config = { + cmd = {"lean-language-server", "--stdio"}; + filetypes = {"lean"}; + root_dir = util.root_pattern(".git"); + log_level = lsp.protocol.MessageType.Warning; + settings = {}; + }; + -- on_new_config = function(new_config) end; + -- on_attach = function(client, bufnr) end; + docs = { + description = [[ + https://github.com/leanprover/lean-client-js/tree/master/lean-language-server + + Lean language server. + ]]; + default_config = { + root_dir = [[util.root_pattern(".git")]]; + }; + }; +} +-- vim:et ts=2 sw=2 |