An implementation of the untyped lambda calculus with one step evaluation in OCaml.