Skip to content

Add FunctorFilter and TraverseFilter#1225

Merged
ceedubs merged 8 commits intotypelevel:masterfrom ceedubs:traverse-filterJul 28, 2016

Commits

Commits on Jul 23, 2016

Commits on Jul 24, 2016

Commits on Jul 27, 2016