git.iko.soy/Idris-dev
on 4c19d46 help sign in
Idris-dev/test/interactive014/interactive014.idr
10 lines 176 B history raw
1voidIO : IO ()
2voidIO = do putStrLn "aa"
4intIO : IO Int
5intIO = do putStrLn "bb"
6 pure 123
8stringIO : IO String
9stringIO = do putStrLn "cc"
10 pure "dd"