Beispiel Verifikation

app :: forall t . [t] -> [t] -> [t]
app x y = case x of
    [] -> y
    h : t -> h : app t y
Beweise
app x (app y z) == app (app x y) z
Beweismethode: Induktion nach x.



Johannes Waldmann 2014-07-10