aboutsummaryrefslogtreecommitdiff
path: root/DecorationFunctor/Hypergraph/Labeled.agda
AgeCommit message (Expand)Author
11 daysAllow arity-0 hyperedges in functional hypergraphsJacques Comeaux
2025-05-01Add labeled hypergraph decoration functorJacques Comeaux