14 Nov
2008
14 Nov
'08
8:25 p.m.
As those who follow this list know, the consensus after discussion of Proposal #2717 was to just add nubOrd to Data.Set. Final question: should we add nubInt to Data.IntSet as well? It seems to me like the right thing to do, given the existence of Data.IntSet in the first place. Once this last question is answered, I will start a new proposal round with a "final" set of proposed patches. Bart Massey bart <at> cs.pdx.edu