22 Jan
2018
22 Jan
'18
3:58 p.m.
I wish I knew. There are some loose ends that need to be tied up and
unfortunately I have no sense of whether that's happening.
On Jan 22, 2018 10:54 AM, "Joachim Breitner"
Hi,
Am Montag, den 22.01.2018, 04:05 -0500 schrieb David Feuer:
Jonathan S. has been working (on and off) on a wholesale replacement for IntMap.
what is the plan here? I am currently in the process of formally verifying IntSet (and later IntMap), so I am curious about what is going to change here.
Cheers, Joachim
-- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries