let rec fact = lambda n. if n=0 then 1 else n*fact(n-1)
in fact 10