idris-lang/Idris-dev — pull request #1653 by japesinator (2014-10-17 19:26:51+00:00)
Title: added zipWith3 and associated functions for streams

Added `zipWith3`, `zip3`, and `unzip3` to `Prelude.Stream`