From 05d21678da4fe714f4c02b245687dee14d8da383 Mon Sep 17 00:00:00 2001
From: Gaetan Lepage <gaetan@glepage.com>
Date: Sat, 11 Nov 2023 23:40:32 +0100
Subject: [PATCH] plugins/lsp: add leanls, the language server for lean

---
 plugins/lsp/language-servers/default.nix    | 5 +++++
 tests/test-sources/plugins/lsp/nvim-lsp.nix | 1 +
 2 files changed, 6 insertions(+)

diff --git a/plugins/lsp/language-servers/default.nix b/plugins/lsp/language-servers/default.nix
index df060933..2ed522f8 100644
--- a/plugins/lsp/language-servers/default.nix
+++ b/plugins/lsp/language-servers/default.nix
@@ -237,6 +237,11 @@ with lib; let
       description = "Enable kotlin language server";
       serverName = "kotlin_language_server";
     }
+    {
+      name = "leanls";
+      description = "Enable leanls, for Lean";
+      package = pkgs.lean;
+    }
     {
       name = "ltex";
       description = "Enable ltex-ls, for LanguageTool";
diff --git a/tests/test-sources/plugins/lsp/nvim-lsp.nix b/tests/test-sources/plugins/lsp/nvim-lsp.nix
index d282e86f..cc1f769f 100644
--- a/tests/test-sources/plugins/lsp/nvim-lsp.nix
+++ b/tests/test-sources/plugins/lsp/nvim-lsp.nix
@@ -99,6 +99,7 @@
         jsonls.enable = true;
         julials.enable = true;
         kotlin-language-server.enable = true;
+        leanls.enable = true;
         ltex.enable = true;
         lua-ls.enable = true;
         metals.enable = true;