Repository navigation

DDIR: reduce by a term - #932

Merged

frankmcsherry merged 2 commits into

master-nextfrom

ddir-reduce-expr

Oct 14, 2026

Merged

DDIR: reduce by a term#932
frankmcsherry merged 2 commits into
master-nextfrom
ddir-reduce-expr

Commits on Oct 13, 2026
- DDIR: reduce by a term
  
  frankmcsherry
  and
  claude
  committed
  f1daaf9
Commits on Oct 14, 2026
- DDIR reduce term: present the harness's brackets as they are
  
  frankmcsherry
  and
  claude
  committed
  26181b8