idris-0.12.2: test/pkg003/Main.idr

module Main

main : IO ()
main = putStrLn "CouCou!"