No filter() in playground

#1

I wanted to practice filtering, but can’t find filter() in the playground.

split this topic #2

A post was merged into an existing topic: Playground .push( ) missing?

closed #3
unlisted #4