Merge pull request #23 from ekmett/master
authorMilan Straka <fox@ucw.cz>
Sun, 25 Nov 2012 17:19:56 +0000 (09:19 -0800)
committerMilan Straka <fox@ucw.cz>
Sun, 25 Nov 2012 17:19:56 +0000 (09:19 -0800)
commit376597b42b1e4c631e19722f08792c2c56fc79b8
treeddf41b9f55bf1cb76718a93f8602356a7d9b51d9
parent2f6484b44de0236a4a88d63fd5b41213a72f11fa
parentf1f58da8fcb65c715b6ca06ce4c1039b4c81d9d0
Merge pull request #23 from ekmett/master

Allowing gunfold for Map, IntMap, Set, and IntSet.