diff options
| -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))) |