From 7f586f5a57bfbe6ad7ba90e6678ec9a521827c11 Mon Sep 17 00:00:00 2001
From: Aadi Rave <arave@purdue.edu>
Date: Mon, 17 Mar 2025 13:01:46 -0400
Subject: [PATCH] COQ SUPPORT????????????

---
 lua/custom/plugins/init.lua | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/lua/custom/plugins/init.lua b/lua/custom/plugins/init.lua
index f11bdde2..da9e61c4 100644
--- a/lua/custom/plugins/init.lua
+++ b/lua/custom/plugins/init.lua
@@ -273,4 +273,34 @@ return {
     },
     version = '^1.0.0', -- optional: only update when a new 1.x version is released
   },
+
+  -- Coq support lets hope this works
+  {
+    'whonore/Coqtail',
+    init = function()
+      vim.g.loaded_coqtail = 1
+      vim.g['coqtail#supported'] = 0
+    end,
+  },
+  {
+    'tomtomjhj/vscoq.nvim',
+    filetypes = 'coq',
+    dependencies = {
+      'neovim/nvim-lspconfig',
+      'whonore/Coqtail',
+    },
+    opts = {
+      vscoq = {
+        path = '/home/aadi/.opam/CP.2024.10.1~8.19~2024.10/bin/vscoqtop',
+      },
+      lsp = {
+        on_attach = function(client, bufnr)
+          -- In manual mode, use ctrl-alt-{j,k,l} to step.
+          vim.keymap.set({ 'n', 'i' }, '<M-j>', '<Cmd>VsCoq stepForward<CR>', { buffer = bufnr, desc = 'VsCoq step forward' })
+          vim.keymap.set({ 'n', 'i' }, '<M-k>', '<Cmd>VsCoq stepBackward<CR>', { buffer = bufnr, desc = 'VsCoq step backward' })
+          vim.keymap.set({ 'n', 'i' }, '<M-l>', '<Cmd>VsCoq interpretToPoint<CR>', { buffer = bufnr, desc = 'VsCoq interpret to point' })
+        end,
+      },
+    },
+  },
 }