From d721f0a23f3b8c50fd1754c8958ac40b6f625cbd Mon Sep 17 00:00:00 2001 From: Jacques Comeaux Date: Tue, 9 Dec 2025 14:45:27 -0600 Subject: Add free commutative monoid functor --- Functor/Free/Instance/Monoid.agda | 2 -- 1 file changed, 2 deletions(-) (limited to 'Functor/Free/Instance/Monoid.agda') 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 ⊤⇒[] -- cgit v1.2.3