Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Motion 57 and decoratedEqual



P1788
On 2013 Nov 20, at 01:00, Vincent Lefevre wrote:
> The decoratedEqual operation has been introduced in Motion 57.
> 
> I wonder whether this operation would be useful in practice:
> ...
After a brief discussion in which Dmitry saw no strong reason to keep it, this operation has been removed.
John Pryce