aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainAdd "idempotent" semiadditive dagger categoriesJacques Comeaux38 min.