[Agda] Termination problems with "with" and recursion

Jan Stolarek jan.stolarek at p.lodz.pl
Tue Nov 19 11:15:32 CET 2013


> Ulf recently changed Agda to reduce the need for workarounds:
Thanks for information. For the moment I am happy with my solution - it allows me to do what I 
need to do and I think it can be easily adjusted in the future once the new stable Agda is 
released.

Janek


More information about the Agda mailing list