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"
-            },
-        }
-    }
-}