[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


More information about the Agda mailing list