Hanno Becker (Mar 07 2023 at 11:19): Hanno Becker (Mar 07 2023 at 11:19):Somewhat paradoxically, I am observing a major parsing slowdown after inserting a should-do-nothing no_notation ... notation ... pair in my code. How is that possible? Is no_notation not truly inverse to notation?
Hanno Becker (Mar 07 2023 at 12:42):Adding to the confusion, the slow down is theories not even using said notation
Last updated: Apr 25 2024 at 04:18 UTC