Skip to content

Fix constraints and names for new Foldable methods#3122

Merged
kailuowang merged 3 commits intotypelevel:masterfrom travisbrown:topic/3084-follow-upOct 28, 2019

Commits

Commits on Oct 28, 2019