idris-0.9.20: test/pkg001/Main.idr

module Main

import Effects
import Effect.State


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