On Wed, Dec 9, 2009 at 13:41, Chris Eidhof wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Also, there is a paper about doing a type-safe diff in Agda, <a href="http://portal.acm.org/citation.cfm?id=1596614.1596624" target="_blank">http://portal.acm.org/citation.cfm?id=1596614.1596624</a><br>

</blockquote><div><br>Surprisingly, the paper also discusses a comparable implementation in Haskell.<br><br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">


I heard rumors that the library will be ported to Haskell.<br><font color="#888888">
</font></blockquote><div><br>Yes, I heard that this library will be released at some point. Wonder how that&#39;s going...<br><br>Regards,<br>Sean<br></div></div>