[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