From 74b3a8ee299194f27bf2a199669d9c327bdd42c8 Mon Sep 17 00:00:00 2001
From: Sean Escriva <sean.escriva@gmail.com>
Date: Thu, 28 Nov 2013 15:37:39 -0800
Subject: [PATCH] add recipe for idris-mode

---
 recipes/idris-mode | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 recipes/idris-mode

diff --git a/recipes/idris-mode b/recipes/idris-mode
new file mode 100644
index 00000000..03c23912
--- /dev/null
+++ b/recipes/idris-mode
@@ -0,0 +1 @@
+(idris-mode :repo "idris-hackers/idris-mode" :fetcher github)