Remove coq

2026-05-06 09:29:37 -04:00
parent 41a3a6114d
commit 4e7def8ba1
2 changed files with 0 additions and 12 deletions
--- a/config.nix
+++ b/config.nix
@@ -105,17 +105,6 @@
      };
    };

-    coq-nvim = {
-      enable = true;
-      installArtifacts = true;
-
-      luaConfig.post = ''
-        vim.g.coq_settings = {
-          keymap = { jump_to_mark = "" },
-        }
-      '';
-    };
-
    nvim-autopairs.enable = true;
    sleuth.enable = true;