Design One Programming Language in Ocaml - functional - View it on GitHub