add helpview.nvim

users/natalie/vim/default.nix

@@ -3,6 +3,7 @@
     ./keybinds.nix
     ./languages.nix
     ./latex.nix
+    ./lean.nix
+    ./ui.nix
   ];
-
 }

users/natalie/vim/lean.nix

@@ -0,0 +1,10 @@
+{pkgs, ...}: {
+  vim = {
+    lazy.plugins."lean.nvim" = {
+      enabled = true;
+      package = pkgs.vimPlugins.lean-nvim;
+      lazy = true;
+      ft = "lean";
+    };
+  };
+}

users/natalie/vim/ui.nix

@@ -0,0 +1,16 @@
+{pkgs, ...}: {
+  vim = {
+    ui = {
+      borders = {
+        enable = true;
+      };
+    };
+
+    # Better help docs
+    lazy.plugins."helpview-nvim" = {
+      enabled = true;
+      package = pkgs.vimPlugins.helpview-nvim;
+      lazy = false;
+    };
+  };
+}