From 1262b1df2b5c01a5d270e4671091c3ee987c1626 Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Sat, 4 Nov 2023 10:57:56 +0100
Subject: [PATCH] rebind agda mode prefix

---
 home/rachel.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/home/rachel.nix b/home/rachel.nix
index c065653..852bd06 100644
--- a/home/rachel.nix
+++ b/home/rachel.nix
@@ -204,7 +204,7 @@ in
         let g:lightline = { 'colorscheme': 'gruvbox' }
         colorscheme gruvbox
         hi Normal guibg=NONE ctermbg=NONE
-
+        let g:cornelis_agda_prefix = "!"
         runtime agda-input.vim
 
         au BufRead,BufNewFile *.agda call AgdaFiletype()