fix(emacs): require agda config

2025-11-23 07:30:27 -07:00
parent 78e123786c
commit b9183fd7d4
1 changed files with 2 additions and 1 deletions
--- a/modules/home/users/msyds/emacs/init.el
+++ b/modules/home/users/msyds/emacs/init.el
@@ -59,4 +59,5 @@
    syd/text
    syd/wgrep
    syd/nix
-    syd/backup))
+    syd/backup
+    syd/agda))