aboutsummaryrefslogtreecommitdiff
path: root/Cospan/Decorated.agda
AgeCommit message (Expand)Author
2024-09-22Add composition and equality of decorated cospansJacques Comeaux
2024-09-19Add decorated cospansJacques Comeaux