aboutsummaryrefslogtreecommitdiff
path: root/DecorationFunctor/Trivial.agda
AgeCommit message (Collapse)Author
2025-05-01Update trivial decoration functorJacques Comeaux
2024-11-05Add trivial and graph decoration functorsJacques Comeaux