On 2010-07-20 02:46, Alan Jeffrey wrote: > I'm not sure what's going on here, am I missing something? Looks like issue 246: http://code.google.com/p/agda/issues/detail?id=246 -- /NAD