[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