From ae0374c99b5ab14ab720ea2cc4bcbc0a0b3dfa33 Mon Sep 17 00:00:00 2001
From: William Ball <williampi103@gmail.com>
Date: Mon, 31 Mar 2025 18:27:10 -0700
Subject: [PATCH] got rid of cornelis

---
 .../nvim/lua/plugins/languages/agda.lua       | 57 -------------------
 1 file changed, 57 deletions(-)
 delete mode 100644 nvim/.config/nvim/lua/plugins/languages/agda.lua

diff --git a/nvim/.config/nvim/lua/plugins/languages/agda.lua b/nvim/.config/nvim/lua/plugins/languages/agda.lua
deleted file mode 100644
index 1dd2edb..0000000
--- a/nvim/.config/nvim/lua/plugins/languages/agda.lua
+++ /dev/null
@@ -1,57 +0,0 @@
-return {
-    {
-        'isovector/cornelis',
-        dependencies = {
-            'kana/vim-textobj-user',
-            'neovimhaskell/nvim-hs.vim',
-        },
-        build = 'stack build',
-        keys = {
-            {
-                "<leader>cl",
-                ":CornelisLoad<CR>",
-                "Load",
-            },
-            {
-                "<leader>cr",
-                ":CornelisRefine<CR>",
-                "Refine",
-            },
-            {
-                "<leader>cd",
-                ":CornelisMakeCase<CR>",
-                "Make Case",
-            },
-            {
-                "<leader>c,",
-                ":CornelisTypeContext<CR>",
-                "Type Context",
-            },
-            {
-                "<leader>c.",
-                ":CornelisTypeContextInfer<CR>",
-                "Type Context Infer",
-            },
-            {
-                "<leader>ca",
-                ":CornelisAuto<CR>",
-                "Auto",
-            },
-            {
-                "gd",
-                ":CornelisGoToDefinition<CR>",
-                "Go to definition"
-            },
-            {
-                "[e",
-                ":CornelisPrevGoal",
-                "Previous Goal"
-            },
-            {
-                "]e",
-                ":CornelisNextGoal",
-                "Next Goal"
-            },
-        }
-    }
-}