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