Skip to content

N7-1b: std.algebra collection callback ops (map, all) realized through the one fold encoding, keyed on named template rows - #13069

Merged
gunbai-bot[bot] merged 119 commits into
mainfrom
session/snappy-eagle-803
Oct 4, 2026
Merged

N7-1b: std.algebra collection callback ops (map, all) realized through the one fold encoding, keyed on named template rows#13069
gunbai-bot[bot] merged 119 commits into
mainfrom
session/snappy-eagle-803

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

231e01c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar