Ocamlモードを追加しました。(未完成)
Ocamlでちょっと遊んでみました。
竹内関数。インタラクティブ、コンパイラだと
SMLの方が速いようです。

let rec f(x, y, z) =
  if (x > y) then
    f (f(x-1,y,z),f(y-1,z,x),f(z-1,x,y))
  else
    y;;

fun f(x,y,z) =
  if (x > y) then
    f (f(x-1,y,z),f(y-1,z,x),f(z-1,x,y))
  else
    y;

f(12,6,0);;