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