9 Dec
2009
9 Dec
'09
7:56 p.m.
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/