From bd93cbbe85feb0e2550768f767b260f3da82eb41 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Thu, 13 Jun 2024 02:13:37 +0900 Subject: Rename modules in algebraic-structures.egg file --- algebraic-structures.egg | 16 ++++++++-------- 1 file 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))) -- cgit v1.2.3