got rid of cornelis

nvim/.config/nvim/lua/plugins/languages/agda.lua

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

zsh/.config/zsh/.zprofile

@@ -39,3 +39,4 @@ export PACK_DIR="$HOME/.local/share/pack"
 export MIZFILES="$HOME/.local/share/mizar"
 export RLWRAP_HOME="$XDG_DATA_HOME/rlwrap"
 export PACK_DIR="$XDG_DATA_HOME/pack"
+export WOLFRAM_USERBASE="$XDG_DATA_HOME/wolfram"