[Agda] Re: problem using "with"

Nils Anders Danielsson nad at chalmers.se
Tue May 15 17:36:45 CEST 2012


On 2012-05-15 16:43, Guillermo Calderón wrote:
> As a naive user, I would expect that the particular case of the "with"
> took effect also on the right hand side of the equation.

OK, it seems as if you would want smart case (the thing Thorsten
mentioned).

-- 
/NAD



More information about the Agda mailing list