diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-09 14:45:27 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-09 14:45:27 -0600 |
| commit | d721f0a23f3b8c50fd1754c8958ac40b6f625cbd (patch) | |
| tree | 7f5105b79482e7441d9b800f21a9bc870509d0f0 /Functor/Free/Instance/Monoid.agda | |
| parent | b5e583bb067749f80bd3f7e24e807674eba8b394 (diff) | |
Add free commutative monoid functor
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 ⊤⇒[] |