edwinb/Idris-dev — pull request #13 by dpmulligan (2012-02-21 10:04:30+00:00)
Title: Additions to list.idr and vect.idr files in Prelude

Added zip and unzip functions to list.idr file, upto zip3 and unzip3. Ported some more list functions to the vect.idr file, including take and drop. Noticed some functions that work on lists cause Idris to enter into an infinite loop at the REPL when type checking. See comments in vect.idr file.