tighter description of split (addresses #2447)
authorRoss Paterson <ross@soi.city.ac.uk>
Thu, 17 Jul 2008 06:48:38 +0000 (06:48 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Thu, 17 Jul 2008 06:48:38 +0000 (06:48 +0000)
commite22528eb63b2a1f009ae428af7a7e4923733f9ee
tree8240e303923a65adf90cf7cac29185c67fbb98da
parent1c06a54f8dead952bc26c128e402723c5ad6aec5
tighter description of split (addresses #2447)
Data/IntSet.hs
Data/Set.hs