Skip to content

Add distributive typeclass and some instances#2046

Merged
LukaJCB merged 14 commits intotypelevel:masterfrom
coltfred:addDistributive
Dec 12, 2017
Merged

Add distributive typeclass and some instances#2046
LukaJCB merged 14 commits intotypelevel:masterfrom
coltfred:addDistributive

Commits

Commits on Nov 26, 2017

Commits on Nov 27, 2017

Commits on Nov 28, 2017

Commits on Nov 29, 2017

Commits on Dec 1, 2017

Commits on Dec 9, 2017

Commits on Dec 10, 2017

Commits on Dec 12, 2017