diff --git a/modules/lang/idris/config.el b/modules/lang/idris/config.el
index d05c67fe0..2f5b5b8cb 100644
--- a/modules/lang/idris/config.el
+++ b/modules/lang/idris/config.el
@@ -17,7 +17,3 @@
         :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 95d63ce50..d600f1309 100644
--- a/modules/lang/idris/packages.el
+++ b/modules/lang/idris/packages.el
@@ -2,5 +2,3 @@
 ;;; lang/idris/packages.el
 
 (package! idris-mode)
-
-(package! helm-idris)