edwinb/Idris-dev — pull request #11 by dpmulligan (2012-02-17 10:47:34+00:00)
Title: Porting of List API to Vectors

Majority of Prelude list functions ported to Vectors.