From d9b8abfb0b3119efb2171a391ef50d769edba16c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= Date: Sat, 20 Dec 2025 13:59:27 -0700 Subject: [PATCH] feat(emacs): recognise agda projects --- modules/home/users/msyds/emacs/lisp/syd/agda.el | 3 +++ 1 file changed, 3 insertions(+) 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