Skip to content

rename Cartesian to Semigroupal#1961

Merged
kailuowang merged 7 commits intotypelevel:masterfrom kailuowang:semigroupalOct 13, 2017

Commits

Commits on Oct 10, 2017

Commits on Oct 11, 2017