From a07a9d6ea38c55aeac59cb93678b9c830ce54705 Mon Sep 17 00:00:00 2001 From: Jacques Comeaux Date: Tue, 7 Jul 2026 13:32:20 -0700 Subject: Update circuit values --- NaturalTransformation/Instance/GateSemantics.agda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'NaturalTransformation') diff --git a/NaturalTransformation/Instance/GateSemantics.agda b/NaturalTransformation/Instance/GateSemantics.agda index 9cdbc1b..70c70bf 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.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