From b9183fd7d4315fafa989aa007b7351ff9837c219 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= <msyds@deertopia.net>
Date: Sun, 23 Nov 2025 07:30:27 -0700
Subject: [PATCH] fix(emacs): require agda config

---
 modules/home/users/msyds/emacs/init.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/modules/home/users/msyds/emacs/init.el b/modules/home/users/msyds/emacs/init.el
index f1eff8c..728705a 100755
--- 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))