13 lines
103 B
Idris
13 lines
103 B
Idris
|
e : IO ()
|
||
|
|
e = do
|
||
|
|
putChar 'e'
|
||
|
|
e
|
||
|
|
|
||
|
|
ee : IO ()
|
||
|
|
ee = do
|
||
|
|
disableBuffering
|
||
|
|
e
|
||
|
|
|
||
|
|
main : IO ()
|
||
|
|
main = ee
|