tasty-discover-2.0.0: test/SubMod/PropTest.hs
module SubMod.PropTest where prop_addition_is_associative :: Int -> Int -> Int -> Bool prop_addition_is_associative a b c = (a + b) + c == a + (b + c)
module SubMod.PropTest where prop_addition_is_associative :: Int -> Int -> Int -> Bool prop_addition_is_associative a b c = (a + b) + c == a + (b + c)