[Agda] implicit arguments and mixfix

Ramana Kumar rk436 at cam.ac.uk
Mon Nov 21 13:07:28 CET 2011

Previous message: [Agda] strict total order on characters
Next message: [Agda] implicit arguments and mixfix
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

What is the syntax for providing implicit arguments to mixfix operators?
For example, what if I need to give more than 2 arguments to Function._on_?

Previous message: [Agda] strict total order on characters
Next message: [Agda] implicit arguments and mixfix
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list