diff options
Diffstat (limited to 'lsp/lean3ls.lua')
| -rw-r--r-- | lsp/lean3ls.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lsp/lean3ls.lua b/lsp/lean3ls.lua index 07ff0599..aefbbe92 100644 --- a/lsp/lean3ls.lua +++ b/lsp/lean3ls.lua @@ -14,6 +14,7 @@ --- that plugin fully handles the setup of the Lean language server, --- and you shouldn't set up `lean3ls` both with it and `lspconfig`. +---@type vim.lsp.Config return { cmd = { 'lean-language-server', '--stdio', '--', '-M', '4096', '-T', '100000' }, filetypes = { 'lean3' }, |