diff options
Diffstat (limited to 'NaturalTransformation/Instance/GateSemantics.agda')
| -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 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) |