[Agda] infix ∸-mono ?

Nils Anders Danielsson nad at cse.gu.se
Thu May 4 10:38:03 CEST 2017

Previous message (by thread): [Agda] infix ∸-mono ?
Next message (by thread): [Agda] infix ∸-mono ?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2017-05-03 21:29, Sergei Meshveliani wrote:
> Standard library has infix  _+-mono_ and _*-mono_  in
> Data.Nat.Properties.
> So, why  ∸-mono  is prefix?

I don't know. My guess is that this happened by accident.

-- 
/NAD

Previous message (by thread): [Agda] infix ∸-mono ?
Next message (by thread): [Agda] infix ∸-mono ?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list