Skip to content

Rename SemigroupK.combine to combineK#781

Merged
ceedubs merged 1 commit intotypelevel:masterfrom ceedubs:combineKJan 30, 2016

Commits

Commits on Jan 6, 2016