Bump nixpkgs (#127)

2025-10-21 22:28:40 +00:00 · 2025-10-19 22:50:42 +01:00
parent 2d09c607d2
commit 7698d33f25
3 changed files with 36 additions and 49 deletions
--- a/home-manager/nvim/lean.lua
+++ b/home-manager/nvim/lean.lua
@@ -1,4 +1,8 @@
-require("lspconfig")["leanls"].setup({})
+vim.lsp.config.leanls = {
+	cmd = { "lean-language-server", "--stdio" },
+	root_markers = { "lean-toolchain", "lakefile.lean" },
+}
+vim.lsp.enable("leanls")

 require("lean").setup({})