[Agda] Termination checking with Lexicographic recursive calls

[Nils Anders Danielsson]

On 2020-02-18 13:27, Sergey Goncharov wrote:
> Why do you say that the example is not self-contained? It uses the
> standard library -- otherwise it is complete.

Perhaps we are using different versions of the standard library. I'm
using the branch called "experimental".

-- 
/NAD