Orientation of the equation `Algebra.Properties.RingWithoutOne.-‿distribˡ-*`

[jamesmckinna]

It seems we got this wrong when we added it (and its right-hand sibling):

• it's defined by an outermost appeal to sym
• its 5 uses in stdlib are all bracketed by an outermost appeal to sym

Perhaps there's nothing to be done (hypothetical-rewrite?), but it's... ironic.

[JacquesCarette]

We ought to be able to fix design mistakes!

I participated in one release of Maple where we fixed a lot of design mistakes. Users grumbled for a bit, and then just adopted the new version. [It did help that we wrote something that fixed a lot of things semi-automatically, even if it wasn't perfect.]

[jamesmckinna]

I guess a v3.0 breaking PR is in order then!? Or could one argue for a 'bug fix' one?

[JacquesCarette]

The question is: are design bugs considered bugs? And what's the line between a design bug and a sub-optimal design?

[jamesmckinna]

The question is: are design bugs considered bugs? And what's the line between a design bug and a sub-optimal design?

Good questions! We should try to agree answers as part of our library-design policy/philosophy?

[JacquesCarette]

I've added a "maintainer's meeting agenda" section to the Wiki and created a page for our to-be-scheduled next meeting.