Set 12 Ex 7: don't care about ordering

This commit is contained in:
Joel Kaasinen
2022-08-08 11:33:33 +03:00
parent 9269b95d9a
commit 4dc6354de8
+1 -1
View File
@@ -112,7 +112,7 @@ ex6_maybe =
ex7_list = ex7_list =
forAll_ $ \(is::[Int]) -> forAll_ $ \(is::[Int]) ->
forAll_ $ \(js::[Int]) -> forAll_ $ \(js::[Int]) ->
$(testing [|inBoth (nub is) (nub js)|]) (?==intersect (nub is) (nub js)) $(testing [|inBoth (nub is) (nub js)|]) (hasElements $ intersect (nub is) (nub js))
ex7_maybe = ex7_maybe =
forAll_ $ \(i::Int) -> forAll_ $ \(i::Int) ->