Added OCaml's solution to 3rd problem.