path: root/hello.idr

module Main

main : IO ()
main = putStrLn "Hello, World!"