AngouriMath
SetOperator
Property
Summary
Rules about unions, intersections and set differences.
Remarks
Run by the matcher rather than by the switch —
SetOperator, and the set that found the
matcher's first real limit: a pattern cannot reach inside a binder, because a
ConditionalSet offers its predicate and not its bound variable to a
traversal (#1074).
SetOperator, and the set that found the
matcher's first real limit: a pattern cannot reach inside a binder, because a
traversal (#1074).
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4405 pages online