zip() : how about braid()

[Greg Ewing]

"Jürgen Hermann" wrote:
> 
> merge() is the best yet, since it's a common (programming) term with a
> well-defined meaning.

But it's a DIFFERENT meaning!

merge([1,2,4,6,7,8],[3,5,9]) --> [1,2,3,4,5,6,7,8,9])

-- 
Greg Ewing, Computer Science Dept, University of Canterbury,	  
Christchurch, New Zealand
To get my email address, please visit my web page:	  
http://www.cosc.canterbury.ac.nz/~greg