aboutsummaryrefslogtreecommitdiff
path: root/Category/Dagger
AgeCommit message (Expand)Author
2026-03-14Add "idempotent" semiadditive dagger categoriesJacques Comeaux
2026-03-12Add semiadditive dagger categoriesJacques Comeaux