Programmtransformationen (I)

sort xs = inorder ( suchbaum xs )

suchbaum [] = Leaf
inorder Leaf = []

sort [] = inorder (suchbaum []) = []



Johannes Waldmann 2007-06-21