From 6e8b1d87892ce6b7fe1c23542f625dd5e049fabf Mon Sep 17 00:00:00 2001 From: LinuxMercedes Date: Sat, 8 Dec 2018 13:42:24 -0600 Subject: [PATCH] eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee IDRIS EEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEE --- e.idr | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 e.idr diff --git a/e.idr b/e.idr new file mode 100644 index 0000000..311d6f3 --- /dev/null +++ b/e.idr @@ -0,0 +1,12 @@ +e : IO () +e = do + putChar 'e' + e + +ee : IO () +ee = do + disableBuffering + e + +main : IO () +main = ee