17.8. E‑matching
TBD
Pattern annotations ([grind =], [grind →], …), anti‑patterns, local vs global attributes, debugging with the attribute [grind?]. Flags: ematch, instances, matchEqs.
TBD
Pattern annotations ([grind =], [grind →], …), anti‑patterns, local vs global attributes, debugging with the attribute [grind?]. Flags: ematch, instances, matchEqs.