Skip to content

Port Apply to Dotty - #441

Merged
joroKr21 merged 3 commits into
typelevel:dottyfrom
andrzejressel:dotty_apply
Feb 9, 2022
Merged

Port Apply to Dotty#441
joroKr21 merged 3 commits into
typelevel:dottyfrom
andrzejressel:dotty_apply

Make testApply inline

92e91c5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs