From c08f9591e8465006fd8851b57dbba8b3c08b177b Mon Sep 17 00:00:00 2001
From: JP Smith <jp.smith@ilstu.edu>
Date: Sun, 23 Nov 2014 20:53:42 -0600
Subject: [PATCH] added idris

---
 i/idris.idr | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 i/idris.idr

diff --git a/i/idris.idr b/i/idris.idr
new file mode 100644
index 00000000..0168ae11
--- /dev/null
+++ b/i/idris.idr
@@ -0,0 +1,4 @@
+module Main
+
+main : IO ()
+main = putStrLn "Hello World"