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)