Gegeben seien die folgenden Pattern-Gleichungen einer Funktion auf verketteten Listen:

$f(Nil()) = Nil()$

$f(Cons(x,Nil()) = Nil()$

$f(Cons(x_1,Cons(x_2,xs))) = Cons(x_1,f(xs))$

Reduzieren Sie auf einem Blatt Papier den Ausdruck:

$f(Cons(A,Cons(B,Cons(C,Cons(D,Cons(E,Cons(F,Nil())))))))$

Laden Sie Ihre Lösung als PDF hoch.