Skip to content

Commit

Permalink
Set 12 Ex 7: don't care about ordering
Browse files Browse the repository at this point in the history
  • Loading branch information
opqdonut committed Aug 8, 2022
1 parent 9269b95 commit 4dc6354
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion exercises/Set12Test.hs
Original file line number Diff line number Diff line change
Expand Up @@ -112,7 +112,7 @@ ex6_maybe =
ex7_list =
forAll_ $ \(is::[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 =
forAll_ $ \(i::Int) ->
Expand Down

0 comments on commit 4dc6354

Please sign in to comment.