diff --git a/plugins/lsp/language-servers/default.nix b/plugins/lsp/language-servers/default.nix index ed820592..f2da621b 100644 --- a/plugins/lsp/language-servers/default.nix +++ b/plugins/lsp/language-servers/default.nix @@ -246,6 +246,15 @@ let description = "htmx for HTMX"; package = "htmx-lsp"; } + { + name = "idris2-lsp"; + description = "Idris 2 Language Server"; + serverName = "idris2_lsp"; + package = [ + "idris2Packages" + "idris2Lsp" + ]; + } { name = "intelephense"; description = "intelephense for PHP"; diff --git a/tests/test-sources/plugins/lsp/_lsp.nix b/tests/test-sources/plugins/lsp/_lsp.nix index a7937988..e1d92cf9 100644 --- a/tests/test-sources/plugins/lsp/_lsp.nix +++ b/tests/test-sources/plugins/lsp/_lsp.nix @@ -144,6 +144,7 @@ hls.enable = true; html.enable = true; htmx.enable = true; + idris2-lsp.enable = true; java-language-server.enable = true; jdt-language-server.enable = true; jsonls.enable = true;