First real OCaml project to discover what is Lambda Calculus.