A mini-language implemented in OCaml.