fun app :: "'a list => 'a list => 'a list"where "app Nil ys = ys" | "app (Cons x xs) ys = Cons x (app xs ys)"
fun rev :: "'a list => 'a list"where "rev Nil = Nil" | "rev (Cons x xs) = app (rev xs) (Cons x Nil)"
value"rev(Cons True (Cons False Nil))"
(* a comment *)
end
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.1Bemerkung:
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
