idris-0.9.5: tutorial/examples/hello.idr

module Main

main : IO ()
main = putStrLn "Hello world"