From b45a53c841662871350204713038ea18021219f3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= Date: Sun, 23 Nov 2025 07:30:27 -0700 Subject: [PATCH] feat(emacs): piss temporary agda keybinds --- modules/home/users/msyds/emacs/lisp/syd/agda.el | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/modules/home/users/msyds/emacs/lisp/syd/agda.el b/modules/home/users/msyds/emacs/lisp/syd/agda.el index c4e5963..7f3455c 100755 --- a/modules/home/users/msyds/emacs/lisp/syd/agda.el +++ b/modules/home/users/msyds/emacs/lisp/syd/agda.el @@ -46,7 +46,10 @@ :keymaps 'agda2-mode-map :states '(motion normal) "[ n" #'agda2-previous-goal - "] n" #'agda2-next-goal) + "] n" #'agda2-next-goal + ;; FUCLK!!!!!!!!! + "g d" #'agda2-goto-definition-keyboard + "K" #'agda2-goal-and-context) (setq agda2-fontset-name "JuliaMono") (defun syd-agda-lookup-documentation ()