Add semigroup instance for DMap

obsidiansystems / dependent-map

Dependently-typed finite maps (partial dependent products)

Other

63 stars 33 forks source link

Add semigroup instance for DMap #14

Closed ghost closed 7 years ago

ghost commented 7 years ago

This adds a semigroup instance for DMap. Data.Semigroup has moved into base as of GHC 8.0 but this commit makes sure to depend on the semigroups package for older versions of GHC.