idris-0.9.11: test/reg032/test028.idr

{--}
module Main
--
main : IO ()
main = putStrLn "hello, world!"