diff options
Diffstat (limited to 'lua/lspconfig/leanls.lua')
| -rw-r--r-- | lua/lspconfig/leanls.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lua/lspconfig/leanls.lua b/lua/lspconfig/leanls.lua index 625e07ae..ff6656c6 100644 --- a/lua/lspconfig/leanls.lua +++ b/lua/lspconfig/leanls.lua @@ -26,6 +26,10 @@ Lean installation instructions can be found The Lean 4 language server is built-in with a Lean 4 install (and can be manually run with, e.g., `lean --server`). + +Note: that if you're using [lean.nvim](https://github.com/Julian/lean.nvim), +that plugin fully handles the setup of the Lean language server, +and you shouldn't set up `leanls` both with it and `lspconfig`. ]], default_config = { root_dir = [[root_pattern("leanpkg.toml") or root_pattern(".git") or path.dirname]], |