Agata-0.2.0: Test/Agata.hs
module Test.Agata (
module Test.Agata.Base
, module Test.Agata.Strategies
, module Test.Agata.Common
, module Data.Tagged
) where
import Data.Tagged
import Test.Agata.Base
import Test.Agata.Strategies
import Test.Agata.Common
import Test.Agata.Instances