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