AngouriMath
DivisionPreparing
Property
Summary
Remarks
Chosen first because it is three rules with no side conditions, so it exercises node
matching, a literal, a typed hole and a repeated-free binding without also needing
commutativity — which the matcher does not have and which #248 is about.
matching, a literal, a typed hole and a repeated-free binding without also needing
commutativity — which the matcher does not have and which #248 is about.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online