| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-08-15 | Add monoidal structure to system functor | Jacques Comeaux |
| 2026-07-19 | Simplify wiring diagrams using semiadditive dagger | Jacques Comeaux |
| 2026-03-25 | Add looped wiring diagrams and merge functor | Jacques Comeaux |
| 2026-03-14 | Add wiring diagram equalities | Jacques Comeaux |
