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