Introduction and Motivation
fun merge( nil, M) = M
merge( L,nil) = L
merge(L as x::xs, M as y::ys) =
if x<y then x::merge(xs,M)
else y::merge(L,ys);
The above shows the first piece of (useful) code that I remember from university. Larry Paulson’s introduction…