Proposal: Significant performance improvements for Data.Map
fox at ucw.cz
Sun Sep 12 05:34:45 EDT 2010
> On Sat, Sep 11, 2010 at 03:14:52PM -0400, Tyson Whitehead wrote:
> > What about the prior discussions on this list regarding the balance invariant
> > not necessary being maintained during deletion?
> If you mean
> then I changed delta to 4, which I am told is correct.
I can prove that. I am in process of writing the proof down and will
make it publicly available, in about two weeks.
> Libraries mailing list
> Libraries at haskell.org
More information about the Libraries