[Agda] Re: problem using "with"

Nils Anders Danielsson nad at chalmers.se
Tue May 15 10:58:07 CEST 2012


On 2012-05-14 17:50, Guillermo Calderón wrote:
>  From your explanations, I do understand how the "with" works.
> But this behaviour results rather counter-intuitive to me.

What kind of behaviour would be intuitive, if any?

-- 
/NAD



More information about the Agda mailing list