/ DifferenceList / semigroup
semigroup
1 let extractSemigroup = ./../Monoid/extractSemigroup 2 3 in let DifferenceList = ./Type 4 5 in let monoid = ./monoid 6 7 in λ(a : Type) → extractSemigroup (DifferenceList a) (monoid a)
1 let extractSemigroup = ./../Monoid/extractSemigroup 2 3 in let DifferenceList = ./Type 4 5 in let monoid = ./monoid 6 7 in λ(a : Type) → extractSemigroup (DifferenceList a) (monoid a)