idris-0.9.19.1: samples/tutorial/hello.idr

module Main

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