generalized IntMap - IntegerMap or IntegralMap

[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 at joachim-breitner.de
  http://www.joachim-breitner.de/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20180122/864035d1/attachment.sig>