
23 Sep
2011
23 Sep
'11
7:41 p.m.
You still need IO to get the stable name out to use. :)
Sent from my iPad
On Sep 23, 2011, at 5:33 AM, Sean Leather
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