From 1a5e78031311da07917d8ec752c65f367096a6fe Mon Sep 17 00:00:00 2001 From: Jacques Comeaux Date: Tue, 13 Jan 2026 17:33:54 -0600 Subject: Move values module --- NaturalTransformation/Instance/GateSemantics.agda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'NaturalTransformation/Instance') diff --git a/NaturalTransformation/Instance/GateSemantics.agda b/NaturalTransformation/Instance/GateSemantics.agda index e86e942..c85526c 100644 --- a/NaturalTransformation/Instance/GateSemantics.agda +++ b/NaturalTransformation/Instance/GateSemantics.agda @@ -23,7 +23,7 @@ open import Data.Nat using (ℕ) open import Data.Setoid using (∣_∣; _⇒ₛ_) open import Data.Setoid.Unit using (⊤ₛ) open import Data.System {suc 0ℓ} using (System) -open import Data.System.Values Value.Monoid using (Values) +open import Data.Values Value.Monoid using (Values) open import Function using (Func; _⟶ₛ_; id; _⟨$⟩_) open import Function.Construct.Constant using () renaming (function to Const) open import Function.Construct.Identity using () renaming (function to Id) -- cgit v1.2.3