[Agda] monot-minus for Nat

Nils Anders Danielsson nad at chalmers.se
Sat Sep 15 22:03:13 CEST 2012

On 2012-09-15 20:50, Serge D. Mechveliani wrote:
> I look into  Data.Nat.Properties  and see only these `-mono' :

Oh, sorry, this definition is only present in the development version of
the library:



More information about the Agda mailing list