[Agda] Binding two identifiers using user-defined syntax

Jean-Philippe Bernardy bernardy at chalmers.se
Thu Dec 1 15:29:05 CET 2011


You should probably file an issue; I can't see any good reason for it
to be rejected.

Cheers,
JP.


More information about the Agda mailing list