[Agda] +-*- swap in library

[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

On Tue, Mar 13, 2018 at 8:12 PM, Sergei Meshveliani <mechvel at botik.ru>
wrote:

> 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
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180315/9f135a99/attachment.html>