diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-13 02:13:37 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-13 02:13:55 +0900 |
| commit | bd93cbbe85feb0e2550768f767b260f3da82eb41 (patch) | |
| tree | ab4779774dde03303fa89afcf765b07f3c9d4ee7 | |
| parent | ca1584a5c87c2952af08c74ce80b1cb2a75a1d19 (diff) | |
Rename modules in algebraic-structures.egg file
| -rw-r--r-- | algebraic-structures.egg | 16 |
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))) |