feat(emacs): Agda pairs

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)