idris-0.9.9: test/test028/test028.idr

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