diff options
Diffstat (limited to 'Data/Hypergraph.agda')
| -rw-r--r-- | Data/Hypergraph.agda | 2 |
1 files changed, 2 insertions, 0 deletions
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) |