edwinb/Idris-dev — pull request #425 by Melvar (2013-07-28 17:43:24+00:00)
Title: Simplify Prelude.Vect.range

No reversal necessary.