From 0ea9675fc43f29a0de56780a321d73dec66c8466 Mon Sep 17 00:00:00 2001
From: Natalie <nmarks413@gmail.com>
Date: Wed, 21 May 2025 13:56:17 -0700
Subject: [PATCH] add helpview.nvim

---
 users/natalie/vim/default.nix |  3 ++-
 users/natalie/vim/lean.nix    | 10 ++++++++++
 users/natalie/vim/ui.nix      | 16 ++++++++++++++++
 3 files changed, 28 insertions(+), 1 deletion(-)
 create mode 100644 users/natalie/vim/lean.nix
 create mode 100644 users/natalie/vim/ui.nix

diff --git a/users/natalie/vim/default.nix b/users/natalie/vim/default.nix
index a4f01cf..4634262 100644
--- a/users/natalie/vim/default.nix
+++ b/users/natalie/vim/default.nix
@@ -3,6 +3,7 @@
     ./keybinds.nix
     ./languages.nix
     ./latex.nix
+    ./lean.nix
+    ./ui.nix
   ];
-
 }
diff --git a/users/natalie/vim/lean.nix b/users/natalie/vim/lean.nix
new file mode 100644
index 0000000..8503935
--- /dev/null
+++ b/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";
+    };
+  };
+}
diff --git a/users/natalie/vim/ui.nix b/users/natalie/vim/ui.nix
new file mode 100644
index 0000000..531a3cd
--- /dev/null
+++ b/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;
+    };
+  };
+}