Coding, Software Development, Java, Scala, Agile.
Vasconcelos that tests the distributivity law for reverse: import Test.QuickCheck prop_revapp :: [Int] -> [Int] -> Bool prop_revapp xs ys = reverse (xs++ys) == reverse xs ++ reverse ys main = quickCheck prop_revapp If that example looks more concise than the previous ones, it’s because PBT came out