From e64b8322a42af703977b281e411f0bbe946ca394 Mon Sep 17 00:00:00 2001 From: Patrick Elliott Date: Sat, 25 Aug 2018 15:35:06 +0200 Subject: [PATCH] Added `helm-idris` --- modules/lang/idris/config.el | 4 ++++ modules/lang/idris/packages.el | 2 ++ 2 files changed, 6 insertions(+) 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)