TiarkRompf/virtualization-lms-core — pull request #13 by julienrf (2012-08-02 16:00:57+00:00)
Title: Add filter operation to Rep[List]

I’m still unsure of the description the effect of `filter` (as for `flatMap`)