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