markandrus/aljebra — pull request #3 by joneshf (2013-04-15 01:13:26+00:00)
Title: Semigroup

Added Semigroup.

Then made the Monoid inherit from Semigroup. This seems to make the most sense to me mathematically.