Skip to content

conversion PartialOrder to PartialOrdering and Hash to Hashing - #2116

Merged
LukaJCB merged 5 commits into
typelevel:masterfrom
kailuowang:partialOrder
Dec 18, 2017
Merged

conversion PartialOrder to PartialOrdering and Hash to Hashing#2116
LukaJCB merged 5 commits into
typelevel:masterfrom
kailuowang:partialOrder

added hash conversion

262418f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs