Rewriting with Symmetric Monoidal Structure#27
Merged
Commits
Commits on Feb 8, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 9, 2026
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 17, 2026
Commits on Feb 18, 2026
- committed
- committed
- committed
- committed
- committed
Commits on Mar 4, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 5, 2026
- committed
- committed
- committed
- committed