/Data/Hypergraph/

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