Re: [Haskell-cafe] diff implementation in haskell

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