Re: [PATCH] Split Data.IntMap into Data.IntMap.Strict and Data.IntMap.Lazy.

On Sun, Oct 2, 2011 at 1:47 PM, Milan Straka 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 should. -- Johan