idris-lang/Idris-dev — pull request #1635 by japesinator (2014-10-14 15:28:37+00:00)
Title: Added zip3 and associated functions to Prelude.Vect

I added the `zipWith3`, `zip3`, and `unzip3` functions to Prelude.Vect