Using OCaml and darcs won't help this project to find contributors outside French academic world. It's unfortunate, IMHO.