edwinb/Idris-dev — pull request #424 by Melvar (2013-07-28 17:42:11+00:00)
Title: Add import Prelude.Functor in Prelude/Vect.idr

This is imported transitively through Prelude.List, but really should be
explicit.