Skip to content

Proof §1.2: dissolve 03_normalize onto fold_node(normalize_algebra) - #4691

Merged
briansrls merged 17 commits into
mainfrom
session/merry-bee-671
Jun 12, 2026
Merged

Proof §1.2: dissolve 03_normalize onto fold_node(normalize_algebra)#4691
briansrls merged 17 commits into
mainfrom
session/merry-bee-671

fix(#4691): restore bind clause on CP-1b-surface-sugar 🟡 mark

70188b9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar