SI
Simon Horlick
Author ProfileClaim This Author Profile
Prove ownership by publishing #HashtagPLUS and this profile link on your author page or an article under your byline. A moderator or admin will review the request before it merges into your real HashtagPLUS username.
0 karma0 postsjoined about 1 month ago
🌐 dev.toSource
A Magma is a set with a (closed) binary operation. A Semigroup is a magma where the operation is associative. class Semigroup a where (<>) :: a -> a -> a -- ^ read as "append" Must satisfy: (x <> y) <> z == x <> (y <> z) -- associativity Example: [1,2] <> [3,4] <> [5] == [1
about 1 month ago