idris-0.9.10: test/test028/test028.idr

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