21 Jun
2006
21 Jun
'06
12:49 p.m.
Sorry, a few corrections to my above points:
On 21/06/06, David House
* Zipping the empty list with anything produces the empty list, so your two equations for (*) involving the empty list are redundant.
I meant (+).
* You define vectorsum, but don't seem to use it anywhere.
Disregard this. -- -David House, dmhouse@gmail.com