[Agda] Binding two identifiers using user-defined syntax

[Andrés Sicard-Ramírez]

On Thu, Dec 1, 2011 at 9:29 AM, Jean-Philippe Bernardy
<bernardy at chalmers.se> wrote:
> You should probably file an issue; I can't see any good reason for it
> to be rejected.

Done! http://code.google.com/p/agda/issues/detail?id=536

Thanks,

-- 
Andrés