[Agda] Totality checking in Agda
Marko Dimjašević
marko at dimjasevic.net
Fri Jan 25 17:43:18 CET 2019
On Wed, 2019-01-23 at 21:25 +0100, Nils Anders Danielsson wrote:
>
> No, size-change termination:
>
> https://en.wikipedia.org/wiki/Size-change_termination_principle
>
Thank you Nils and Henning for your replies! I'll study references you
provided.
--
Regards,
Marko Dimjašević <marko at dimjasevic.net>
https://dimjasevic.net/marko
PGP key ID: 056E61A6F3B6C9323049DBF9565EE9641503F0AA
Learn email self-defense! https://emailselfdefense.fsf.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190125/abdb31f2/attachment.sig>
More information about the Agda
mailing list