logo

eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

Unnamed repository; edit this file 'description' to name the repository.
commit: 568e1745374ffe921e16f1d87fff2aa2f051091f
parent 5fee1014000f064ad3bcb85e9c11c93bbebb0e11
Author: iliana weller <ilianaw@buttslol.net>
Date:   Sat,  8 Dec 2018 11:44:04 -0800

Eeeee EE #202 eeee eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee/eeeeeeeeeedris

eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

Diffstat:

Ae.idr12++++++++++++
1 file changed, 12 insertions(+), 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