[Agda] Termination checker and rewriting

Nils Anders Danielsson nad at cse.gu.se
Tue Jan 29 14:19:08 CET 2019


On 29/01/2019 13.57, Guillaume GENESTIER wrote:
> More specifically, I was wondering if any termination checking is
> performed on these rules.

No.

-- 
/NAD


More information about the Agda mailing list