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