From 619599562b3b6763e6d851b102ff2f39d1ceb7f0 Mon Sep 17 00:00:00 2001
From: Rachel Lambda Samuelsson <depsterr@protonmail.com>
Date: Thu, 5 Sep 2024 10:21:59 +0200
Subject: [PATCH] cornelis rebind

---
 home-manager/neovim.nix | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/home-manager/neovim.nix b/home-manager/neovim.nix
index 5fa039f..524feb0 100644
--- a/home-manager/neovim.nix
+++ b/home-manager/neovim.nix
@@ -153,19 +153,19 @@
       au BufRead,BufNewFile *.agda call AgdaFiletype()
       au BufRead,BufNewFile *.lagda.* call AgdaFiletype()
       function! AgdaFiletype()
-          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>,     :CornelisTypeContext<CR>
-          nnoremap <buffer> <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> <localleader>l :CornelisLoad<CR>
+          nnoremap <buffer> <localleader>r :CornelisRefine<CR>
+          nnoremap <buffer> <localleader>c :CornelisMakeCase<CR>
+          nnoremap <buffer> <localleader>,     :CornelisTypeContext<CR>
+          nnoremap <buffer> <localleader>.     :CornelisTypeContextInfer<CR>
+          nnoremap <buffer> <localleader>d :CornelisTypeInfer<CR>
+          nnoremap <buffer> <localleader>s :CornelisSolve<CR>
+          nnoremap <buffer> <localleader>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>
+          nnoremap <buffer> <localleader>b :CornelisPrevGoal<CR>
+          nnoremap <buffer> <localleader>f :CornelisNextGoal<CR>
+          nnoremap <buffer> <localleader>u :CornelisIgnoreAbstract<CR>
+          nnoremap <buffer> <localleader><space> :CornelisGive<CR>
       endfunction
     '';
     plugins = (with pkgs.vimPlugins; [