Skip to content

Reduce redundancy in Semigroup and Eq test names#2081

Merged
kailuowang merged 1 commit intotypelevel:masterfrom ceedubs:test-namesDec 8, 2017
+8-8

Commits

Commits on Dec 8, 2017