idris-lang/Idris-dev — pull request #1023 by jedesah (2014-04-02 20:38:34+00:00)
Title: Add splitAt to Vect

Are the variable names okay?