diff --git a/modules/lang/agda/config.el b/modules/lang/agda/config.el
index cd355d43c..cb1a92f2e 100644
--- a/modules/lang/agda/config.el
+++ b/modules/lang/agda/config.el
@@ -2,10 +2,18 @@
 
 (defvar +agda-dir
   (when (executable-find "agda-mode")
-    (file-name-directory (shell-command-to-string "agda-mode locate")))
-  "TODO")
+    (file-name-directory (shell-command-to-string "agda-mode locate"))))
 
+(def-package! agda-input
+  :load-path +agda-dir)
 
-(def-package! agda2
-  :load-path +agda-dir
-  :defer t)
+(def-package! agda2-mode
+  :mode "\\.agda\\'"
+  :after agda-input
+  :config
+  (map! :map agda2-mode-map
+                :localleader
+                :n "l" #'agda2-load
+                :n "d" #'agda2-infer-type-maybe-toplevel
+                :n "o" #'agda2-module-contents-maybe-toplevel
+                :n "n" #'agda2-compute-normalised-maybe-toplevel))