1
0
Fork 0
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

13 lines
103 B
Idris

e : IO ()
e = do
putChar 'e'
e
ee : IO ()
ee = do
disableBuffering
e
main : IO ()
main = ee