/DecorationFunctor/
../
Graph.agda
Hypergraph.agda
Hypergraph
Trivial.agda