diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-29 12:07:13 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-29 12:07:13 -0500 |
| commit | d69dc150a8f4eea8ec84dc19dd4e338fe507fd30 (patch) | |
| tree | ff6ffa722e24926f59ecb7567bb988d08505903f /Data/Hypergraph.agda | |
| parent | 340907b17a215766a18808ce4b98fabe0f465961 (diff) | |
Refactor list-based hypergraphs
Diffstat (limited to 'Data/Hypergraph.agda')
| -rw-r--r-- | Data/Hypergraph.agda | 14 |
1 files changed, 14 insertions, 0 deletions
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 |