msyds/sydnix
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat(emacs): recognise agda projects

Browse Source
This commit is contained in:
Madeleine Sydney Slaga
2025-12-20 13:59:27 -07:00
parent b4133594a7
commit d9b8abfb0b
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
modules/home/users/msyds/emacs/lisp/syd/agda.el
View File

@@ -47,6 +47,9 @@
agda2-highlight-bound-variable-face agda2-highlight-unsolved-meta-face agda2-highlight-bound-variable-face agda2-highlight-unsolved-meta-face
agda2-highlight-cosmetic-problem-face agda2-highlight-number-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 (with-eval-after-load 'agda2
(general-define-key (general-define-key
:keymaps 'agda2-mode-map :keymaps 'agda2-mode-map