Skip to content

Rewriting with Symmetric Monoidal Structure - #27

Merged
statusfailed merged 41 commits into
hellas-ai:masterfrom
mstn:rewrite-ii
Mar 13, 2026
Merged

Rewriting with Symmetric Monoidal Structure#27
statusfailed merged 41 commits into
hellas-ai:masterfrom
mstn:rewrite-ii

coproduct many: fast track: merge tables first

ded4ebd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.