From e170e4b5981f98c052257617580f95a307802bf9 Mon Sep 17 00:00:00 2001
From: mitchmindtree <mail@mitchellnordine.com>
Date: Sat, 14 Sep 2024 00:35:47 +1000
Subject: [PATCH] plugins/lsp/idris2-lsp: init

---
 plugins/lsp/language-servers/default.nix | 9 +++++++++
 tests/test-sources/plugins/lsp/_lsp.nix  | 1 +
 2 files changed, 10 insertions(+)

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;