From 68598cc7301b9986ceb8bb0750f12af4c0d0b207 Mon Sep 17 00:00:00 2001
From: Natalie <nmarks413@gmail.com>
Date: Tue, 19 Aug 2025 21:36:14 -0700
Subject: [PATCH] update vim stuff

---
 users/natalie/vim/default.nix   |  1 -
 users/natalie/vim/languages.nix |  1 +
 users/natalie/vim/lean.nix      | 11 -----------
 users/natalie/vim/mini.nix      |  1 +
 4 files changed, 2 insertions(+), 12 deletions(-)
 delete mode 100644 users/natalie/vim/lean.nix

diff --git a/users/natalie/vim/default.nix b/users/natalie/vim/default.nix
index 4c269f3..63c80f9 100644
--- a/users/natalie/vim/default.nix
+++ b/users/natalie/vim/default.nix
@@ -4,7 +4,6 @@
     ./keybinds.nix
     ./languages.nix
     ./latex.nix
-    ./lean.nix
     ./visuals.nix
     ./mini.nix
   ];
diff --git a/users/natalie/vim/languages.nix b/users/natalie/vim/languages.nix
index 05346a8..9c447ed 100644
--- a/users/natalie/vim/languages.nix
+++ b/users/natalie/vim/languages.nix
@@ -11,6 +11,7 @@
       python312Packages.pylatexenc
     ];
     languages = {
+      lua.lsp.lazydev.enable = true;
       python = {
         format.type = "ruff";
       };
diff --git a/users/natalie/vim/lean.nix b/users/natalie/vim/lean.nix
deleted file mode 100644
index 45fb293..0000000
--- a/users/natalie/vim/lean.nix
+++ /dev/null
@@ -1,11 +0,0 @@
-{ pkgs, ... }:
-{
-  vim = {
-    lazy.plugins."lean.nvim" = {
-      enabled = true;
-      package = pkgs.vimPlugins.lean-nvim;
-      lazy = true;
-      ft = "lean";
-    };
-  };
-}
diff --git a/users/natalie/vim/mini.nix b/users/natalie/vim/mini.nix
index 269036b..b8119e7 100644
--- a/users/natalie/vim/mini.nix
+++ b/users/natalie/vim/mini.nix
@@ -4,6 +4,7 @@
     mini = {
       icons.enable = true;
       ai.enable = true;
+      surround.enable = true;
     };
   };
 }