Digg StumbleUpon LinkedIn YouTube Flickr Facebook Twitter RSS Reset
Comments Off

ML: Regrouper deux listes dans une seule

fun append([],[])=
    []
  | append(list1, list2) = 
    case list1 of
	[]=>list2
        |x'::list' => x'::append(list', list2)
----------------------------------------------------------------------------