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))