AngouriMath
NeutralFolds
Property
Summary
The folds this graph performs on insertion, as Op(first, second) — for the test
that names them, so that a change inInnerSimplify shows up as a changed list
rather than as e-graph folding quietly gaining or losing a case.
that names them, so that a change in
rather than as e-graph folding quietly gaining or losing a case.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online