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
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
