From 3ab48119dd91fc26fd34c9964538027fa22b460d Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Sat, 15 Jun 2024 03:45:15 +0900 Subject: Add reducible --- algebraic-structures.egg | 2 ++ 1 file changed, 2 insertions(+) (limited to 'algebraic-structures.egg') diff --git a/algebraic-structures.egg b/algebraic-structures.egg index ba71745..ba4fd46 100644 --- a/algebraic-structures.egg +++ b/algebraic-structures.egg @@ -9,9 +9,11 @@ (test-dependencies test) (components (extension algebraic-structures.semigroup) + (extension algebraic-structures.semigroup.reduce) (extension algebraic-structures.monoid) (extension algebraic-structures.monoid.fold) (extension algebraic-structures.group) + (extension algebraic-structures.reducible) (extension algebraic-structures.foldable) (extension algebraic-structures.functor) (extension algebraic-structures.applicative) -- cgit v1.2.3