From d69dc150a8f4eea8ec84dc19dd4e338fe507fd30 Mon Sep 17 00:00:00 2001
From: Jacques Comeaux <jacquesrcomeaux@protonmail.com>
Date: Wed, 29 Oct 2025 12:07:13 -0500
Subject: Refactor list-based hypergraphs

---
 Data/Hypergraph.agda | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 Data/Hypergraph.agda

(limited to 'Data/Hypergraph.agda')

diff --git a/Data/Hypergraph.agda b/Data/Hypergraph.agda
new file mode 100644
index 0000000..2e8498c
--- /dev/null
+++ b/Data/Hypergraph.agda
@@ -0,0 +1,14 @@
+{-# OPTIONS --without-K --safe #-}
+
+open import Level using (Level)
+
+open import Data.Hypergraph.Label using (HypergraphLabel)
+
+module Data.Hypergraph {c ℓ : Level} (HL : HypergraphLabel) where
+
+open import Data.Hypergraph.Base {c} HL public
+open import Data.Hypergraph.Setoid {c} {ℓ} HL public
+
+import Data.Hypergraph.Edge HL as HypergraphEdge
+
+module Edge = HypergraphEdge
-- 
cgit v1.2.3