[Agda] On termination checkers

Nils Anders Danielsson nad at cse.gu.se
Mon Jun 10 14:52:22 CEST 2019


On 10/06/2019 12.41, david.janin at labri.fr wrote:
> Still, how can I cope with it ? Any suggestion much welcome,

One option might be to use sized types, but this could lead to other
complications.

-- 
/NAD


More information about the Agda mailing list