Skip to content

MQ-1: a positional fold step lowers like the named form (position from std.algebra's fold signature) - #12272

Merged
gunbai-bot[bot] merged 160 commits into
mainfrom
session/merry-hawk-532
Sep 28, 2026
Merged

MQ-1: a positional fold step lowers like the named form (position from std.algebra's fold signature)#12272
gunbai-bot[bot] merged 160 commits into
mainfrom
session/merry-hawk-532

Merge remote-tracking branch 'origin/main' into mh532

e2f97bb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar