OCaml implementation of lambda calculus and type checkers - View it on GitHub