[Agda] Totality checking in Agda

Nils Anders Danielsson nad at cse.gu.se
Wed Jan 23 08:49:02 CET 2019


On 08/01/2019 15.17, Marko Dimjašević wrote:
> 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

I don't think there is a single text (other than the source code) that
describes everything in detail. What kind of information are you looking
for?

-- 
/NAD


More information about the Agda mailing list