msyds/sydnix
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat(emacs): piss temporary agda keybinds

Browse Source
This commit is contained in:
Madeleine Sydney Slaga
2025-11-23 07:30:27 -07:00
parent 29e4865521
commit b45a53c841
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
modules/home/users/msyds/emacs/lisp/syd/agda.el
View File

@@ -46,7 +46,10 @@
:keymaps 'agda2-mode-map :keymaps 'agda2-mode-map
:states '(motion normal) :states '(motion normal)
"[ n" #'agda2-previous-goal "[ 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") (setq agda2-fontset-name "JuliaMono")
(defun syd-agda-lookup-documentation () (defun syd-agda-lookup-documentation ()