[Haskell-cafe] diff implementation in haskell

Erik de Castro Lopo mle+hs at mega-nerd.com
Wed Dec 9 14:56:49 EST 2009

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

That is locke dbehind some ridiculous paywall.

It seems the same paper is available here:


Erik de Castro Lopo

More information about the Haskell-Cafe mailing list