[Agda] Termination problems with "with" and recursion

Jan Stolarek jan.stolarek at p.lodz.pl
Thu Dec 5 10:43:27 CET 2013

Previous message: [Agda] Termination problems with "with" and recursion
Next message: [Agda] ANNOUNCE: Agda 2.3.2.2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> Does this answer your question?  If not, please ask further.
Yes, I believe it does. Thank you.

Janek

Previous message: [Agda] Termination problems with "with" and recursion
Next message: [Agda] ANNOUNCE: Agda 2.3.2.2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list