[Agda] Termination Checking

Leonardo Rodriguez leonardomatiasrodriguez at gmail.com
Tue Apr 19 01:27:22 CEST 2011


Hi,

This is a very simple function that fails on termination checking:
http://pastebin.com/WDtSPxqq
why ? Any hint will be appreciated
thanks you in advance

Leo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20110418/91f5fab5/attachment.html


More information about the Agda mailing list