Added helm-idris

2025-08-01 12:17:25 -05:00 · 2018-08-25 15:35:06 +02:00
parent c5334f61a3
commit e64b8322a4
2 changed files with 6 additions and 0 deletions
--- 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)
--- 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)