Merge pull request #377 from vlopezj/disjoint
authorDavid Feuer <David.Feuer@gmail.com>
Mon, 22 Jan 2018 05:56:50 +0000 (00:56 -0500)
committerGitHub <noreply@github.com>
Mon, 22 Jan 2018 05:56:50 +0000 (00:56 -0500)
* Add `Data.IntSet.disjoint`
* Add `Data.Set.disjoint`


Trivial merge