diff --git a/modules/lang/agda/config.el b/modules/lang/agda/config.el
index 876279f1d..d54bddc3b 100644
--- a/modules/lang/agda/config.el
+++ b/modules/lang/agda/config.el
@@ -3,7 +3,9 @@
 (when (and (featurep! +local)
            (executable-find "agda-mode"))
   (add-load-path!
-   (file-name-directory (shell-command-to-string "agda-mode locate"))))
+   (file-name-directory (shell-command-to-string "agda-mode locate")))
+  (unless (require 'agda2 nil t)
+    (message "Failed to find the `agda2' package")))
 
 
 (map! :after agda2-mode