Operationen auf Listen

• append:
  • Definition
  • Beweis Assoziativität, neutrales Element
• reverse:
  • Definition
  • Beweis: reverse (reverse xs) == xs
  • benutze Funktion mit dieser Spezifikation

    arev :: [a] -> [a] -> [a]
    arev xs ys == append (reverse xs) ys
    

    zur effizienteren Implementierung von reverse