aboutsummaryrefslogtreecommitdiff
path: root/DecorationFunctor/Hypergraph.agda
AgeCommit message (Collapse)Author
2025-05-01Add labeled hypergraph decoration functorJacques Comeaux
2025-04-29Add hypergraph decoration functorJacques Comeaux