diff --git a/modules/home/users/msyds/emacs/lisp/syd/agda.el b/modules/home/users/msyds/emacs/lisp/syd/agda.el
index 5c1bc3c..ea14628 100755
--- a/modules/home/users/msyds/emacs/lisp/syd/agda.el
+++ b/modules/home/users/msyds/emacs/lisp/syd/agda.el
@@ -47,6 +47,9 @@
     agda2-highlight-bound-variable-face agda2-highlight-unsolved-meta-face
     agda2-highlight-cosmetic-problem-face agda2-highlight-number-face))
 
+(with-eval-after-load 'project
+  (add-to-list 'project-vc-extra-root-markers "*.agda-lib"))
+
 (with-eval-after-load 'agda2
   (general-define-key
    :keymaps 'agda2-mode-map