diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-07-18 17:46:01 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-07-18 17:46:01 -0500 |
| commit | 44a665ee5bb2659be2147881e2e0e869570429cf (patch) | |
| tree | e11a20da6a64b8a4d42b1fc41c9cce2c3872c2ee /Data/Circuit | |
| parent | d91f74bce9a8eb1dd38f74de5fae597bde54df5a (diff) | |
Fix imports
Diffstat (limited to 'Data/Circuit')
| -rw-r--r-- | Data/Circuit/Typecheck.agda | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Data/Circuit/Typecheck.agda b/Data/Circuit/Typecheck.agda index bb7e23c..e34ea44 100644 --- a/Data/Circuit/Typecheck.agda +++ b/Data/Circuit/Typecheck.agda @@ -3,10 +3,10 @@ module Data.Circuit.Typecheck where open import Data.SExp using (SExp) -open import Data.Hypergraph.Base using (HypergraphLabel; module Edge; module HypergraphList) open import Data.Circuit.Gate using (GateLabel; Gate) -open Edge GateLabel using (Edge) -open HypergraphList GateLabel using (Hypergraph) +open import Data.Hypergraph.Label using (HypergraphLabel) +open import Data.Hypergraph.Edge GateLabel using (Edge) +open import Data.Hypergraph.Base GateLabel using (Hypergraph) open import Data.List using (List; length) renaming (map to mapL) open import Data.List.Effectful using () renaming (module TraversableA to ListTraversable) |