[Agda] Totality checking in Agda

Marko Dimjašević marko at dimjasevic.net
Tue Jan 8 15:17:45 CET 2019


Dear Agda community,

Can you please point me to resources on totality checking in Agda? I'm
aware of the following wiki page:

https://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Total
ity


-- 
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/20190108/8e5c7d60/attachment.sig>


More information about the Agda mailing list