[Agda] Termination checking regression (Matrix-shaped orders?)

[Nils Anders Danielsson]

On 2013-03-07 13:56, Dominique Devriese wrote:
> Can anyone suggest an alternative way to make this termination check
> with the current Agda?

rec-builder P f = uncurry helper
   where
   helper...

-- 
/NAD