From 3daa759290ee99ce99bdce1a598966da166c0732 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= Date: Fri, 18 Jul 2025 02:07:18 -0600 Subject: [PATCH] feat(emacs): Agda pairs --- .../home/users/crumb/emacs/modules/lang/syd-lang-agda.el | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/modules/home/users/crumb/emacs/modules/lang/syd-lang-agda.el b/modules/home/users/crumb/emacs/modules/lang/syd-lang-agda.el index bdfb7eb..caf78fa 100644 --- a/modules/home/users/crumb/emacs/modules/lang/syd-lang-agda.el +++ b/modules/home/users/crumb/emacs/modules/lang/syd-lang-agda.el @@ -38,6 +38,15 @@ "] n" #'agda2-next-goal) (setq agda2-fontset-name "JuliaMono") + ;; Inform Smartparens and Evil-surround of some extra brackets. + (with-eval-after-load 'smartparens + (sp-local-pair 'agda2-mode "⟨" "⟩")) + (syd-add-hook 'agda2-mode-hook + (defun syd-agda--configure-evil-surround-h () + (with-eval-after-load 'evil-surround + (push '(?z . ("⟨" . "⟩")) + evil-surround-pairs-alist)))) + (defun syd-agda-lookup-documentation () (interactive) (call-interactively #'agda2-goal-and-context)