Skip to content

Port partial order to new scheme - #480

Merged
joroKr21 merged 11 commits into
typelevel:dottyfrom
TimWSpence:port-partial-order-to-new-scheme
May 30, 2022
Merged

Port partial order to new scheme#480
joroKr21 merged 11 commits into
typelevel:dottyfrom
TimWSpence:port-partial-order-to-new-scheme

Merge branch 'dotty' into port-partial-order-to-new-scheme

9f01f2b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs