/Data/Hypergraph/

• ../
• Base.agda
• Edge.agda
• Label.agda