Skip to content

Add existsM and forallM to Foldable#1784

Merged
kailuowang merged 2 commits intotypelevel:masterfrom aryairani:existsM-forallMAug 7, 2017

Commits

Commits on Aug 4, 2017

Commits on Aug 7, 2017