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

@@ -0,0 +1,57 @@
+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,4 +39,3 @@ 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"