Minos

A Hindley-Milner type inference engine written in OCaml