diff --git a/modules/lang/idris/config.el b/modules/lang/idris/config.el
index 2f5b5b8cb..d05c67fe0 100644
--- a/modules/lang/idris/config.el
+++ b/modules/lang/idris/config.el
@@ -17,3 +17,7 @@
         :n "m" #'idris-add-missing
         :n "p" #'idris-proof-search
         :n "h" #'idris-docs-at-point))
+
+;; TODO get this working
+(def-package! helm-idris
+  :after idris-mode)
diff --git a/modules/lang/idris/packages.el b/modules/lang/idris/packages.el
index d600f1309..95d63ce50 100644
--- a/modules/lang/idris/packages.el
+++ b/modules/lang/idris/packages.el
@@ -2,3 +2,5 @@
 ;;; lang/idris/packages.el
 
 (package! idris-mode)
+
+(package! helm-idris)