eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

IDRIS EEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEE
eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee · Dec 8, 2018 · 6e8b1d8 · 6e8b1d8
1 parent 5fee101
commit 6e8b1d8
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/e.idr b/e.idr
@@ -0,0 +1,12 @@
+e : IO ()
+e = do 
+  putChar 'e'
+  e
+
+ee : IO ()
+ee = do
+  disableBuffering
+  e
+
+main : IO ()
+main = ee