diff --git a/modules/home/users/msyds/emacs/lisp/syd/agda.el b/modules/home/users/msyds/emacs/lisp/syd/agda.el
index c76eea4..3675097 100755
--- a/modules/home/users/msyds/emacs/lisp/syd/agda.el
+++ b/modules/home/users/msyds/emacs/lisp/syd/agda.el
@@ -16,7 +16,7 @@
       (load-file
        (let ((coding-system-for-read 'utf-8))
          (shell-command-to-string
-          (format "%s --emacs-mode locate" mikan-path))))))))
+          (format "%s --emacs-mode locate" mikan-path)))))))
 
 (defface syd-agda2-default
   `((t :font ,(font-spec :family "IBM Plex Sans" :size 17)
@@ -100,7 +100,8 @@
 
   (add-to-list
    'auto-mode-alist
-   '("\\.lagda\\.org\\'" . agda2-mode))
+   `(,(rx ".lagda." (or "org" "md"))
+     . agda2-mode))
 
   (with-eval-after-load 'smartparens
     (sp-local-pair '(agda2-mode) "{!" "!}"))