Some articles on concatenation operation:
... property of lists length (L ++ M) = length L + length M Here ++ denotes the list concatenation operation, and L and M are lists ... to prove this, we need definitions for length and for the concatenation operation ... The definitions for length and the concatenation operation are length = 0 length (ht) = 1 + length t ++ list = list (ht) ++ list = h (t ++ list) Our ...
Famous quotes containing the word operation:
“Waiting for the race to become official, he began to feel as if he had as much effect on the final outcome of the operation as a single piece of a jumbo jigsaw puzzle has to its predetermined final design. Only the addition of the missing fragments of the puzzle would reveal if the picture was as he guessed it would be.”
—Stanley Kubrick (b. 1928)