Li-Fan Chen => YSITD: open import System.IO using ( _>>_ ; putStr ; commit ) module System.IO.Examples.HelloWorld where main = putStr "Hello, World\n" >> commit #5bd0aa2dadddc3a5051e26bc

Li-Fan Chen says to YSITD

open import System.IO using ( _>>_ ; putStr ; commit ) module System.IO.Examples.HelloWorld where main = putStr "Hello, World\n" >> commit

at Thu, Oct 25, 2018 1:21 AM