Merge pull request #155 from japesinator/master

Added idris example
2015-04-12 13:32:52 -04:00
parent 165dd5249e c08f9591e8
commit 565c50ed6c
1 changed files with 4 additions and 0 deletions
--- a/i/idris.idr
+++ b/i/idris.idr
@@ -0,0 +1,4 @@
+module Main
+
+main : IO ()
+main = putStrLn "Hello World"