Strong profunctor laws based on category theory#2640
Merged
kailuowang merged 4 commits intotypelevel:masterfrom Feb 15, 2019
Merged
Strong profunctor laws based on category theory#2640kailuowang merged 4 commits intotypelevel:masterfrom
kailuowang merged 4 commits intotypelevel:masterfrom
