@hackage group-theory0.1.0.0

The theory of groups

This package includes definitions for Groups (monoids with invertibility), including finite, free, simple, cyclic, and permutation groups. Additionally, we add the concept of Cancelative functors, building upon Alternative applicative functors.