[PATCH] Split Data.IntMap into Data.IntMap.Strict and Data.IntMap.Lazy.
fox at ucw.cz
Mon Oct 3 12:42:35 CEST 2011
> On Sun, Oct 2, 2011 at 1:47 PM, Milan Straka <fox at ucw.cz> wrote:
> > We got opinions only from the proponent and both maintainers.
> > I interpret the silence as the community being happy with the change.
> Me too. Did we settle the issue of having both .Strict and .Lazy. I think we
Sorry, I wrote only to Edward yesterday.
I agree with both .Strict and .Lazy.
More information about the Libraries