diff --git a/nvim/.config/nvim/after/ftplugin/c.lua b/nvim/.config/nvim/after/ftplugin/c.lua
new file mode 100644
index 0000000..ea8a831
--- /dev/null
+++ b/nvim/.config/nvim/after/ftplugin/c.lua
@@ -0,0 +1 @@
+vim.opt.expandtab = false
diff --git a/nvim/.config/nvim/lua/keymaps.lua b/nvim/.config/nvim/lua/keymaps.lua
index 05a5eca..b2f1aae 100644
--- a/nvim/.config/nvim/lua/keymaps.lua
+++ b/nvim/.config/nvim/lua/keymaps.lua
@@ -1,7 +1,7 @@
 local keymap = vim.keymap
 
 vim.g.mapleader = ' '
-vim.g.maplocalleader = ' '
+vim.g.maplocalleader = '\\'
 
 keymap.set('n', 'j', 'gj')
 keymap.set('n', 'k', 'gk')
diff --git a/nvim/.config/nvim/lua/plugins/keys.lua b/nvim/.config/nvim/lua/plugins/keys.lua
index 231a4b0..497afa7 100644
--- a/nvim/.config/nvim/lua/plugins/keys.lua
+++ b/nvim/.config/nvim/lua/plugins/keys.lua
@@ -8,8 +8,6 @@ return {
             wk.add({
                 { '<leader>f', group = 'find' },
                 { '<leader>h', group = 'help' },
-                { '<leader>e', group = 'explore' },
-                { '<leader>ee', ':Lexplore<CR>', desc='netrw cwd' },
             })
         end,
     }
diff --git a/nvim/.config/nvim/lua/plugins/languages/agda.lua b/nvim/.config/nvim/lua/plugins/languages/agda.lua
index 72e141f..1dd2edb 100644
--- a/nvim/.config/nvim/lua/plugins/languages/agda.lua
+++ b/nvim/.config/nvim/lua/plugins/languages/agda.lua
@@ -6,5 +6,52 @@ return {
             '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"
+            },
+        }
     }
 }
diff --git a/nvim/.config/nvim/lua/plugins/languages/idris.lua b/nvim/.config/nvim/lua/plugins/languages/idris.lua
index c99275b..e9d5a24 100644
--- a/nvim/.config/nvim/lua/plugins/languages/idris.lua
+++ b/nvim/.config/nvim/lua/plugins/languages/idris.lua
@@ -1,6 +1,6 @@
 return {
     {
-        'ShinKage/idris2-nvim',
+        'idris-community/idris2-nvim',
         event = { 'BufReadPre *.idr', 'BufNewFile *.idr' },
         dependencies = {
             'neovim/nvim-lspconfig',
@@ -25,9 +25,9 @@ return {
                         with_history = true,
                     },
                 },
-                autostart_semantic = true,
-                code_action_post_hook = save_hook,
-                use_default_semantic_hl_groups = true,
+                -- autostart_semantic = true,
+                -- code_action_post_hook = save_hook,
+                -- use_default_semantic_hl_groups = true,
                 server = {
                     init_options = {
                         logFile = "~/.cache/idris2-lsp/server.log",
diff --git a/nvim/.config/nvim/lua/plugins/ui.lua b/nvim/.config/nvim/lua/plugins/ui.lua
index 636052c..2774b6c 100644
--- a/nvim/.config/nvim/lua/plugins/ui.lua
+++ b/nvim/.config/nvim/lua/plugins/ui.lua
@@ -2,5 +2,18 @@ return {
     {
         'stevearc/dressing.nvim',
         opts = {},
+    },
+    {
+        "nvim-neo-tree/neo-tree.nvim",
+        branch = "v3.x",
+        dependencies = {
+            "nvim-lua/plenary.nvim",
+            "nvim-tree/nvim-web-devicons",
+            "MunifTanjim/nui.nvim",
+        },
+        keys = {
+            { '<leader>e', group = 'neotree' },
+            { '<leader>ee', ':Neotree toggle<CR>', desc='toggle' },
+        }
     }
 }