GitHub repository: thma/CommutativeMonoid
Primary language: Haskell
Created: 2020-07-29T13:24:38Z
Description: Trying to prove that commutative monoids are required for a parallel foldMap (aka. map/reduce)