AngouriMath
RewriteStep
Description
Summary
One rewrite that actually fired: which rule set did it, the subexpression it matched,
and what it put there instead.
and what it put there instead.
Remarks
The subexpression, not the whole expression. A rewrite pass walks the tree bottom-up
and rewrites nodes as it goes, so there is no moment at which a partly-rewritten
whole expression exists to be photographed — reporting one would mean building it,
and it would be a picture of something the engine never held.
and rewrites nodes as it goes, so there is no moment at which a partly-rewritten
whole expression exists to be photographed — reporting one would mean building it,
and it would be a picture of something the engine never held.
Members
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online