aboutsummaryrefslogtreecommitdiff
path: root/Category/Semiadditive.agda
AgeCommit message (Expand)Author
45 hoursShow category of directed wiring diagrams is monoidalJacques Comeaux
13 daysSimplify wiring diagrams using semiadditive daggerJacques Comeaux
14 daysSimplify semiadditive dagger definitionJacques Comeaux
14 daysDefine semiadditive categoryJacques Comeaux