[Agda] Surprising type error in implementing decreasing lists

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Tue Jul 20 10:10:18 CEST 2010


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


More information about the Agda mailing list