diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-15 03:45:15 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-15 03:45:15 +0900 |
commit | 3ab48119dd91fc26fd34c9964538027fa22b460d (patch) | |
tree | 787203069d9a3262e8d59c3a84d217a8019d0777 /algebraic-structures.egg | |
parent | 9080b0a664ab36bf271fe042e3dc446727b18eff (diff) |
Add reducible
Diffstat (limited to 'algebraic-structures.egg')
-rw-r--r-- | algebraic-structures.egg | 2 |
1 files changed, 2 insertions, 0 deletions
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) |