diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-07-09 13:48:15 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-07-09 13:48:15 -0500 |
| commit | 61506ab9d74b1b9fc6f580f569fa22e84e557d54 (patch) | |
| tree | 02ab366f5e118cdaecef93a48ca505d10c37c395 | |
| parent | 5915304301fb834182eaf9c8d5664e7e3be5eeb2 (diff) | |
Fix broken import
| -rw-r--r-- | Data/Circuit/Gate.agda | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Data/Circuit/Gate.agda b/Data/Circuit/Gate.agda index 915ee8b..8ce7e0a 100644 --- a/Data/Circuit/Gate.agda +++ b/Data/Circuit/Gate.agda @@ -4,7 +4,7 @@ module Data.Circuit.Gate where open import Level using (0ℓ) open import Data.Castable using (Castable) -open import Data.Hypergraph.Base using (HypergraphLabel; module Edge; module HypergraphList) +open import Data.Hypergraph.Label using (HypergraphLabel) open import Data.String using (String) open import Data.Nat.Base using (ℕ; _≤_) open import Data.Nat.Properties using (≤-refl; ≤-trans; ≤-antisym; ≤-total) |