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"