idris-0.9.0: tutorial/examples/hello.idr

module main

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