aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/Decorate.agda
AgeCommit message (Expand)Author
2025-10-15Improve terminology in commentJacques Comeaux
2025-04-23Category of decorated cospans is symmetric monoidalJacques Comeaux