[Agda] termination check

[Martin Escardo]

Thanks to the two fo you who answered that: it works for me.

Andrés Sicard-Ramírez wrote:
> {-# OPTIONS --no-termination-check #-}