I wrote an analysis applicable to the choice of is vs. ~= for the pattern infix operator and its consequences. This involves cross-cutting concerns across a plethora of the upcoming proposals, and I plan on making a more complete presentation about those at a future meeting.
I wrote an analysis applicable to the choice of
isvs.~=for the pattern infix operator and its consequences. This involves cross-cutting concerns across a plethora of the upcoming proposals, and I plan on making a more complete presentation about those at a future meeting.