aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal/Construction/MultisetOf.agda
AgeCommit message (Collapse)Author
2025-11-09Use functional vector in edge definitionJacques Comeaux
2025-11-05Adjust universe levelsJacques Comeaux
2025-11-05Add multiset-of constructionJacques Comeaux