From 44a665ee5bb2659be2147881e2e0e869570429cf Mon Sep 17 00:00:00 2001 From: Jacques Comeaux Date: Fri, 18 Jul 2025 17:46:01 -0500 Subject: Fix imports --- Data/Circuit/Typecheck.agda | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Data/Circuit') 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) -- cgit v1.2.3