update vim stuff

users/natalie/vim/default.nix

@@ -4,7 +4,6 @@
     ./keybinds.nix
     ./languages.nix
     ./latex.nix
-    ./lean.nix
     ./visuals.nix
     ./mini.nix
   ];

users/natalie/vim/languages.nix

@@ -11,6 +11,7 @@
       python312Packages.pylatexenc
     ];
     languages = {
+      lua.lsp.lazydev.enable = true;
       python = {
         format.type = "ruff";
       };

users/natalie/vim/lean.nix

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

users/natalie/vim/mini.nix

@@ -4,6 +4,7 @@
     mini = {
       icons.enable = true;
       ai.enable = true;
+      surround.enable = true;
     };
   };
 }