generalized IntMap - IntegerMap or IntegralMap

[David Feuer]

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" <mail at joachim-breitner.de>
wrote:

> 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 at joachim-breitner.de
>   http://www.joachim-breitner.de/
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20180122/8ed64226/attachment.html>