aboutsummaryrefslogtreecommitdiff
path: root/Category/BinaryBiproducts.agda
AgeCommit message (Expand)Author
9 daysSimplify wiring diagrams using semiadditive daggermainJacques Comeaux
10 daysSimplify semiadditive dagger definitionJacques Comeaux
10 daysDefine semiadditive categoryJacques Comeaux
11 daysAdd categories with all binary biproductsJacques Comeaux