semigroups-0.8
