Remove coq

README.md

@@ -20,7 +20,6 @@ Color Scheme: [Tokyo Night](https://github.com/folke/tokyonight.nvim)<br>
 [neogit](https://github.com/NeogitOrg/neogit)<br>
 [gitsigns](https://github.com/lewis6991/gitsigns.nvim)<br>
 [tiny-inline-diagnostic](https://github.com/rachartier/tiny-inline-diagnostic.nvim)<br>
-[coq_nvim](https://github.com/ms-jpq/coq_nvim)<br>
 [nvim-autopairs](https://github.com/windwp/nvim-autopairs)<br>
 [Comment](https://github.com/numToStr/Comment.nvim)<br>
 [sleuth](https://github.com/tpope/vim-sleuth)<br>

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;
 
@@ -135,16 +124,15 @@
       };
     };
 
-
     mkdnflow = {
       enable = true;
 
       settings = {
         mappings = {
-          MkdnEnter = {
-            key = "<CR>";
-            modes = [ "n" "v" "i" ];
-          };
+          MkdnEnter = [
+            [ "n" "v" "i" ]
+            "<CR>"
+          ];
         };
       };
     };