idris-0.12.2: test/pkg002/Main.idr

module Main

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