aboutsummaryrefslogtreecommitdiff
path: root/Category/Semiadditive.agda
AgeCommit message (Collapse)Author
2 daysSimplify wiring diagrams using semiadditive daggermainJacques Comeaux
3 daysSimplify semiadditive dagger definitionJacques Comeaux
3 daysDefine semiadditive categoryJacques Comeaux