packages: add lean lsp

stepbrobd · Nov 16, 2024 · 6895324 · 6895324
1 parent 008fe6b
commit 6895324
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/packages/nixvim/lsp.nix b/packages/nixvim/lsp.nix
@@ -38,6 +38,9 @@
   # JSON
   plugins.lsp.servers.jsonls.enable = true;
 
+  # Lean
+  plugins.lean.enable = true;
+
   # Markdown
   plugins.lsp.servers.marksman.enable = true;