[Haskell-cafe] diff implementation in haskell

[Erik de Castro Lopo]

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:

    http://people.cs.uu.nl/andres/GDiff.html

Erik
-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/