[Haskell-cafe] diff implementation in haskell

Sean Leather leather at cs.uu.nl
Wed Dec 9 08:25:22 EST 2009


On Wed, Dec 9, 2009 at 13:41, Chris Eidhof wrote:

> Also, there is a paper about doing a type-safe diff in Agda,
> http://portal.acm.org/citation.cfm?id=1596614.1596624
>

Surprisingly, the paper also discusses a comparable implementation in
Haskell.

I heard rumors that the library will be ported to Haskell.
>

Yes, I heard that this library will be released at some point. Wonder how
that's going...

Regards,
Sean
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20091209/abdb6f6f/attachment.html


More information about the Haskell-Cafe mailing list