- Bump
groups
bound to0.5.3
forgenerated'
bugfix. - Update documentation and doctests
- Support for GHC 9.0
- Fixed mempty instance for
Abelianizer
- Fix warning for redundant semigroup import
- Depend on the
groups
package (#19 - thanks to @taneb for providing the package!) - Added
FreeProduct
(#13) - Removed unsound
Group
instances (#14) - Add the
GroupOrder
typeclass for order calculations (#20) - Fixed 'Permutation' instances (#21)
- Bugfixes for
FreeAbelianGroup
, allowing it to handle sparsity more robustly, as well as handlingmempty
values on construction with a pattern synonym. - Typo fixes and documentation updates (#16, #17)
- First version. Released on an unsuspecting world.