Programmtransformationen (I)

sort xs = nodes ( make xs )

make [] = Leaf
nodes Leaf = []

sort [] = nodes (make []) = []



Johannes Waldmann 2004-11-30