@hackage finite-semigroups0.1.0.0

Operations and classification for finite semigroups

This provides means to construct finite semigroups and determine which (ordered) pseudovarieties they belong to. Some are predefined, but an arbitrary variety can be specified by equations.