[Agda] implicit arguments and mixfix

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


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_?


More information about the Agda mailing list