Merge pull request #424 from Melvar/correct-vect-instances
Add import Prelude.Functor in Prelude/Vect.idr
commitbf8cfc57fea04dca53b4d09e0725f2454f0d0bc1
authorEdwin Brady <edwin.brady@gmail.com>
dateSun 28 Jul 2013, 11:56 (13 years ago)
parentc710867ad040c1
lib/Prelude/Vect.idr+1
@@ -1,6 +1,7 @@
11module Prelude.Vect
22
33import Prelude.Fin
4+import Prelude.Functor
45import Prelude.List
56import Prelude.Nat
67