16 Nov
2008
16 Nov
'08
4:03 a.m.
Hi Bart,
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.
Yes, seems very sensible! Thanks Neil