Content deleted Content added
m →Syntax: Removed unnecessary parens |
|||
Line 57:
total
pairAdd : Num a => Vect n a -> Vect n a -> Vect n a
pairAdd Nil Nil = Nil
pairAdd (x :: xs) (y :: ys) =
</source>
| |||
m →Syntax: Removed unnecessary parens |
|||
Line 57:
total
pairAdd : Num a => Vect n a -> Vect n a -> Vect n a
pairAdd Nil Nil = Nil
pairAdd (x :: xs) (y :: ys) =
</source>
| |||