
23 Sep
2011
23 Sep
'11
5:33 a.m.
Hi Edward, On Thu, Sep 22, 2011 at 16:50, Edward Kmett wrote:
I have a "stable-maps" package that provides lookup and inserting into a map via stable names.
The paper mentions the need for a mutable finite map, and all the operations are IO. Do you know why this is and what's different with your pure implementation? Regards, Sean