31 May
2005
31 May
'05
12:05 p.m.
On Tue, 31 May 2005, Daniel Fischer wrote: (snip)
The module Set has undergone major changes - look at the code and admire, if you have it. Formerly sets were implemented as 'FiniteMap's, now as size-balanced trees. Formerly there was a function called 'mapSet', now (snip)
I'm puzzled: wasn't the FiniteMap version also some form of size-balanced tree? -- Mark