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