Hi Edward,<br><br><div class="gmail_quote">On Thu, Sep 22, 2011 at 16:50, Edward Kmett wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">I have a &quot;stable-maps&quot; package that provides lookup and inserting into a map via stable names.</blockquote>

</div><br><div>The paper mentions the need for a mutable finite map, and all the operations are IO. Do you know why this is and what&#39;s different with your pure implementation?</div><div><br></div><div>Regards,</div><div>

Sean</div>