[Agda] implicit arguments and mixfix

[Nils Anders Danielsson]

On 2011-11-21 13:07, Ramana Kumar wrote:
> 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_?

_on_ {B = ...} {C = ...} f g

-- 
/NAD