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