AngouriMath
Reversal
Property
Summary
Whether this rule can be read backwards, and where it cannot, why not.
Remarks
Derived from the two sides, not declared. Every clause below is a property of
what the rule is written as, so the distinction between a one-way rewrite and a
two-way one is something a test can fail on rather than something a comment asserts.
what the rule is written as, so the distinction between a one-way rewrite and a
two-way one is something a test can fail on rather than something a comment asserts.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online