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)