From b6adbfa3e9844a1ea3a05aa1dcd2e7f03d4aabba Mon Sep 17 00:00:00 2001
From: Rachel Lambda Samuelsson <depsterr@protonmail.com>
Date: Tue, 10 Oct 2023 21:12:48 +0200
Subject: [PATCH] neovim: emacs agda mode bindings

---
 home/rachel.nix | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/home/rachel.nix b/home/rachel.nix
index feb8a9b..392138e 100644
--- a/home/rachel.nix
+++ b/home/rachel.nix
@@ -197,19 +197,19 @@ in
         au BufRead,BufNewFile *.agda call AgdaFiletype()
         au BufRead,BufNewFile *.lagda.* call AgdaFiletype()
         function! AgdaFiletype()
-            nnoremap <buffer> <leader>l :CornelisLoad<CR>
-            nnoremap <buffer> <leader>r :CornelisRefine<CR>
-            nnoremap <buffer> <leader>c :CornelisMakeCase<CR>
-            nnoremap <buffer> <leader>, :CornelisTypeContext<CR>
-            nnoremap <buffer> <leader>. :CornelisTypeContextInfer<CR>
-            nnoremap <buffer> <leader>d :CornelisTypeInfer<CR>
-            nnoremap <buffer> <leader>s :CornelisSolve<CR>
-            nnoremap <buffer> <leader>a :CornelisAuto<CR>
-            nnoremap <buffer> gd        :CornelisGoToDefinition<CR>
-            nnoremap <buffer> <leader>b :CornelisPrevGoal<CR>
-            nnoremap <buffer> <leader>f :CornelisNextGoal<CR>
-            nnoremap <buffer> <leader>u :CornelisIgnoreAbstract<CR>
-            nnoremap <buffer> <leader><space> :CornelisGive<CR>
+            nnoremap <buffer> <C-c><C-l> :CornelisLoad<CR>
+            nnoremap <buffer> <C-c><C-r> :CornelisRefine<CR>
+            nnoremap <buffer> <C-c><C-c> :CornelisMakeCase<CR>
+            nnoremap <buffer> <C-c><C-,> :CornelisTypeContext<CR>
+            nnoremap <buffer> <C-c><C-.> :CornelisTypeContextInfer<CR>
+            nnoremap <buffer> <C-c><C-d> :CornelisTypeInfer<CR>
+            nnoremap <buffer> <C-c><C-s> :CornelisSolve<CR>
+            nnoremap <buffer> <C-c><C-a> :CornelisAuto<CR>
+            nnoremap <buffer> gd         :CornelisGoToDefinition<CR>
+            nnoremap <buffer> <C-c><C-b> :CornelisPrevGoal<CR>
+            nnoremap <buffer> <C-c><C-f> :CornelisNextGoal<CR>
+            nnoremap <buffer> <C-c><C-u> :CornelisIgnoreAbstract<CR>
+            nnoremap <buffer> <C-c><space> :CornelisGive<CR>
         endfunction
       '';
       plugins = with pkgs.vimPlugins; [