[Agda] +-*- swap in library

[Sergei Meshveliani]

Dear Standard library developers,

I see in lib-0.15

Data.Nat.Properties.*-+-commutativeSemiring
and Data.Integer.Properties.+-*-commutativeRing

I do not know, may be it has sense to have the same order of +-* in such
names (there are several occurrences).

Regards,

------
Sergei

[Matthew Daggitt]

Yes, it would make much more sense to have a standardised +-* ordering.
It'd be great if you could open an issue to remind me on Github.
Thanks,
Matthew

Post by Sergei Meshveliani
Dear Standard library developers,
I see in lib-0.15
Data.Nat.Properties.*-+-commutativeSemiring
and Data.Integer.Properties.+-*-commutativeRing
I do not know, may be it has sense to have the same order of +-* in such
names (there are several occurrences).
Regards,
------
Sergei
_______________________________________________
Agda mailing list
https://lists.chalmers.se/mailman/listinfo/agda