idris-lang/Idris-dev — pull request #803 by alexeevg (2014-01-27 09:28:41+00:00)
Title: Eq and Ord instances for Prelude.Vect

Add Eq and Ord class instances for Prelude.Vect type.