This doesn't implement Algorithm W

[jdh30]

The introduction says "The Hindley Milner Type Inference or Algorithm W is a type-inference algorithm that infers types in a programming language. This repository contains a working implementation written in OCaml to demonstrate type-inference on a small functional language." but the code in this repository doesn't implement let bindings and, in particular, the automatic generalization of type variables at let bindings. Therefore, it doesn't implement Algorithm W.