idris-1.0: samples/tutorial/Hello.idr

module Main

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