aboutsummaryrefslogtreecommitdiff
path: root/src/list/operation/higher/filter.h
AgeCommit message (Collapse)Author
2015-01-30Separated `Map` and `Filter`Adrian Kummerlaender
* there is no reason to keep them in the same header