aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2024-06-13 02:13:37 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2024-06-13 02:13:55 +0900
commitbd93cbbe85feb0e2550768f767b260f3da82eb41 (patch)
treeab4779774dde03303fa89afcf765b07f3c9d4ee7
parentca1584a5c87c2952af08c74ce80b1cb2a75a1d19 (diff)
Rename modules in algebraic-structures.egg file
-rw-r--r--algebraic-structures.egg16
1 files changed, 8 insertions, 8 deletions
diff --git a/algebraic-structures.egg b/algebraic-structures.egg
index 6d72bf1..1c9e574 100644
--- a/algebraic-structures.egg
+++ b/algebraic-structures.egg
@@ -8,11 +8,11 @@
(dependencies matchable)
(test-dependencies test)
(components
- (extension algebraic-structures.monoid.make)
- (extension algebraic-structures.monoid.make.fold)
- (extension algebraic-structures.group.make)
- (extension algebraic-structures.foldable.make)
- (extension algebraic-structures.functor.make)
- (extension algebraic-structures.applicative.make)
- (extension algebraic-structures.monad.make)
- (extension algebraic-structures.alternative.make)))
+ (extension algebraic-structures.monoid)
+ (extension algebraic-structures.monoid.fold)
+ (extension algebraic-structures.group)
+ (extension algebraic-structures.foldable)
+ (extension algebraic-structures.functor)
+ (extension algebraic-structures.applicative)
+ (extension algebraic-structures.monad)
+ (extension algebraic-structures.alternative)))