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)
commit216be94cea2fe7aa74e283a5dba5e6fc31e3126a
tree131d651d043a87b00510ee50cbe6b0d49d9d8510
parentf730fa71509d3521b1401be730332378e1351f86
parent2599afc046b7be70656cf76973111e0cc58e5f85
Merge pull request #377 from vlopezj/disjoint

* Add `Data.IntSet.disjoint`
* Add `Data.Set.disjoint`