| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 47 hours | Add symmetric monoidal structure to Pull and System | Jacques Comeaux | |
| 3 days | Add inverted unitary rules for strong monoidal functors | Jacques Comeaux | |
| 4 days | Add inverted associativity for strong monoidal functors | Jacques Comeaux | |
