Skip to content

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

DDIR reduce term: present the harness's brackets as they are

26181b8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar