diff options
Diffstat (limited to 'Functor/Free/Instance/Monoid.agda')
| -rw-r--r-- | Functor/Free/Instance/Monoid.agda | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Functor/Free/Instance/Monoid.agda b/Functor/Free/Instance/Monoid.agda index e08e42d..c8450b9 100644 --- a/Functor/Free/Instance/Monoid.agda +++ b/Functor/Free/Instance/Monoid.agda @@ -24,8 +24,6 @@ open import NaturalTransformation.Instance.ListAppend {c} {ℓ} using (++) open import Relation.Binary using (Setoid) open import Relation.Binary.PropositionalEquality as ≡ using (_≡_) -module Setoids-× = SymmetricMonoidalCategory Setoids-× - module ++ = NaturalTransformation ++ module ⊤⇒[] = NaturalTransformation ⊤⇒[] |