added 1 commit
Compare with previous version
The name doesn't really follow the current naming scheme, which usually involves the names on the LHS of the equality. What about difference_difference ?
difference_difference
I guess that would work... I originally wrote it the other way around but difference_union is already taken.
difference_union
What about difference_difference ?
Done.
merged
mentioned in commit 10636e80
Merged and thanks.
