From ed5f0ae0f95a1675b272b205bb58724368031c01 Mon Sep 17 00:00:00 2001
From: Jacques Comeaux <jacquesrcomeaux@protonmail.com>
Date: Sun, 9 Nov 2025 20:28:11 -0600
Subject: Use functional vector in edge definition

---
 Data/Hypergraph.agda | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Data/Hypergraph.agda')

diff --git a/Data/Hypergraph.agda b/Data/Hypergraph.agda
index 770c500..7d22129 100644
--- a/Data/Hypergraph.agda
+++ b/Data/Hypergraph.agda
@@ -12,6 +12,8 @@ import Data.Hypergraph.Edge {ℓ} HL as Hyperedge
 import Data.List.Relation.Binary.Permutation.Propositional as List-↭
 import Data.List.Relation.Binary.Permutation.Setoid as ↭
 
+open HypergraphLabel HL using (Label) public
+
 open import Data.List using (List; map)
 open import Data.Nat using (ℕ)
 open import Data.String using (String; unlines)
-- 
cgit v1.2.3