Skip to content

CommutativeMonoid instance for SortedMap#2047

Merged
LukaJCB merged 3 commits intotypelevel:masterfrom alonsodomin:sortedmap_commutativemonoidNov 26, 2017

Commits

Commits on Nov 26, 2017