Abelianis now just a small wrapper aroundGroup+Commutativefromcommutative-semigroups, which was forked out from this library to relax the superclass.
- Fix bug in
generated'
-
Add
generated'to generate a finite list usingEqto know when to stop. -
Add instances for
Down
-
Add
Cyclicinstance forSum -
Add instances for
Op. (Only for new enoughbaseto provide it.)
-
Add
Cyclictype class -
Add subtraction as optional class method
-
Add instances for
(),Proxy,Identity,Const,:*:,:.:,:*:.