diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-07 13:32:20 -0700 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-07-07 13:32:20 -0700 |
| commit | a07a9d6ea38c55aeac59cb93678b9c830ce54705 (patch) | |
| tree | 2bf06eee58546a167b8d3fe169e882bb49b58877 /NaturalTransformation | |
| parent | decc78659f34ded3f8f9fa5540159efa19330626 (diff) | |
Update circuit values
Diffstat (limited to 'NaturalTransformation')
| -rw-r--r-- | NaturalTransformation/Instance/GateSemantics.agda | 2 |
1 files changed, 1 insertions, 1 deletions
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) |