diff options
| author | Julian Berman <Julian@GrayVines.com> | 2022-02-05 22:13:39 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-05 19:13:39 -0800 |
| commit | c6e2321245f56e0ce80a2ab87deb397c9ed0e822 (patch) | |
| tree | c4fa0582457213403f8ecdc88c93719470c16021 /.github/workflows/codespell.yml | |
| parent | docs: update server_configurations.md (diff) | |
| download | nvim-lspconfig-c6e2321245f56e0ce80a2ab87deb397c9ed0e822.tar nvim-lspconfig-c6e2321245f56e0ce80a2ab87deb397c9ed0e822.tar.gz nvim-lspconfig-c6e2321245f56e0ce80a2ab87deb397c9ed0e822.tar.bz2 nvim-lspconfig-c6e2321245f56e0ce80a2ab87deb397c9ed0e822.tar.lz nvim-lspconfig-c6e2321245f56e0ce80a2ab87deb397c9ed0e822.tar.xz nvim-lspconfig-c6e2321245f56e0ce80a2ab87deb397c9ed0e822.tar.zst nvim-lspconfig-c6e2321245f56e0ce80a2ab87deb397c9ed0e822.zip | |
feat(leanls): start the LSP via lake serve (#1698)
Enables workspace symbols for the Lean 4 LSP.
Older versions of Lake (and Lean 4) lack a serve command,
so on those we fallback to the old behavior by directly starting
the LSP.
Closes: Julian/lean.nvim#229
Refs: leanprover/lake#46
Diffstat (limited to '.github/workflows/codespell.yml')
0 files changed, 0 insertions, 0 deletions