[Haskell-cafe] diff implementation in haskell
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,
Surprisingly, the paper also discusses a comparable implementation in
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe