From 275e3606c2fef059319497393f6466eb10e80ce8 Mon Sep 17 00:00:00 2001
From: David Raymond Christiansen <david@davidchristiansen.dk>
Date: Fri, 18 Jul 2014 21:30:43 +0200
Subject: [PATCH] Add recipe for helm-idris

---
 recipes/helm-idris | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 recipes/helm-idris

diff --git a/recipes/helm-idris b/recipes/helm-idris
new file mode 100644
index 00000000..23a30464
--- /dev/null
+++ b/recipes/helm-idris
@@ -0,0 +1,3 @@
+(helm-idris
+ :fetcher github
+ :repo "david-christiansen/helm-idris")
\ No newline at end of file