gofer · December 30, 2015 14:19
diff --git a/insert_sort.sml b/insert_sort.sml
 (* insert sort *)
 fun insert_sort nil = nil
  | insert_sort (y::ys) = let
  fun insert n nil     = [n]
    | insert n (x::xs) = if x < n then (x::(insert n xs)) else (n::(x::xs));
  in
    insert y (insert_sort ys)
  end;

 insert_sort [5, 1, 2, 4, 1, 3];
 (* val it = [1,1,2,3,4,5] : int list *)
	(* insert sort *)
	fun insert_sort nil = nil
	\| insert_sort (y::ys) = let
	fun insert n nil = [n]
	\| insert n (x::xs) = if x < n then (x::(insert n xs)) else (n::(x::xs));
	in
	insert y (insert_sort ys)
	end;

	insert_sort [5, 1, 2, 4, 1, 3];
	(* val it = [1,1,2,3,4,5] : int list *)