From 43963919fd8c890559734b243177335fb2665c55 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): Agda pairs --- modules/home/users/msyds/emacs/lisp/syd/agda.el | 10 +++++++++- 1 file changed, 9 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 7f3455c..b753d12 100755 --- a/modules/home/users/msyds/emacs/lisp/syd/agda.el +++ b/modules/home/users/msyds/emacs/lisp/syd/agda.el @@ -52,8 +52,16 @@ "K" #'agda2-goal-and-context) (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 () - (interactive) + (interactive "P") (call-interactively #'agda2-goal-and-context) agda2-info-buffer)