Rekursionsmuster (Zahlen)

• Geben Sie das Rekurssionsschema für den Datentyp an:

  data N = Z | S N
  fold ::                  -- 1 P
  fold     =               -- 1 P
  

  Hinweis: Es soll gelten plus x y = fold y S x
• Implementieren Sie mal x y = ... 1 P

(Bearbeiten Sie dazu die autotool-Aufgaben!)