Discussion:
+-*- swap in library
(too old to reply)
Sergei Meshveliani
2018-03-13 20:12:17 UTC
Permalink
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
2018-03-15 14:23:14 UTC
Permalink
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
Loading...