mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-24 17:58:38 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

plugins/lsp: add leanls, the language server for lean

Browse source
This commit is contained in:
Gaetan Lepage 2023-11-11 23:40:32 +01:00 • committed by Gaétan Lepage
parent d748d9ea02
commit 05d21678da
2 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
plugins/lsp/language-servers/default.nix
View file

@ -237,6 +237,11 @@ with lib; let
description = "Enable kotlin language server"; description = "Enable kotlin language server";
serverName = "kotlin_language_server"; serverName = "kotlin_language_server";
} }
{
name = "leanls";
description = "Enable leanls, for Lean";
package = pkgs.lean;
}
{ {
name = "ltex"; name = "ltex";
description = "Enable ltex-ls, for LanguageTool"; description = "Enable ltex-ls, for LanguageTool";

1
tests/test-sources/plugins/lsp/nvim-lsp.nix
View file

@ -99,6 +99,7 @@
jsonls.enable = true; jsonls.enable = true;
julials.enable = true; julials.enable = true;
kotlin-language-server.enable = true; kotlin-language-server.enable = true;
leanls.enable = true;
ltex.enable = true; ltex.enable = true;
lua-ls.enable = true; lua-ls.enable = true;
metals.enable = true; metals.enable = true;