acts v0.2.0.0 Release NotesRelease Date: 2020-02-14 // almost 2 years ago
✂ Remove definition of cyclic groups. It is instead suggested to use a library which defines modular arithmetic.
type C (n :: Nat) = Sum ( Finite n ), using the
CyclicEnumnewtype changed to
Finitelynewtype, which uses
Bounded + Enum. This ensures that the action is by a semigroup of the right cardinality.
Minto avoid possible overlap with user defined instances.
anti :: Group g => g -> Dual gfunction to construct elements in the opposite group.
🚚 Obsoletes the
➕ Address a limitation of GHC < 8.10 with
MultiParamTypeClasses, by manually writing some instances.