12 Sep
2010
12 Sep
'10
5:34 a.m.
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 http://hackage.haskell.org/trac/ghc/ticket/4242 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. Cheers, Milan
Thanks Ian
_______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries