Closed strub closed 9 months ago
The printer now does a eager filtering of notations (only notations that share the same head symbol as the printed formula are considered)
The does not change the behavior of the pretty-printer, but greatly improves performance.
The printer now does a eager filtering of notations (only notations that share the same head symbol as the printed formula are considered)
The does not change the behavior of the pretty-printer, but greatly improves performance.