added OCaml notes