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

feat(emacs): Agda pairs

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

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

@@ -52,8 +52,16 @@
"K" #'agda2-goal-and-context) "K" #'agda2-goal-and-context)
(setq agda2-fontset-name "JuliaMono") (setq agda2-fontset-name "JuliaMono")
(with-eval-after-load 'smartparens
(sp-local-pair '(agda2-mode) "{!" "!}"))
(with-eval-after-load 'evil-surround
(syd-add-hook '(agda2-mode-hook)
(defun syd-agda--configure-evil-surround-h ()
(setq-local evil-surround-pairs-alist
(append '((?h . ("{!" . "!}")))
evil-surround-pairs-alist)))))
(defun syd-agda-lookup-documentation () (defun syd-agda-lookup-documentation ()
(interactive) (interactive "P")
(call-interactively #'agda2-goal-and-context) (call-interactively #'agda2-goal-and-context)
agda2-info-buffer) agda2-info-buffer)