Hindley-Milner typer

This is a tiny Hindley-Milner type inference exercise written from scratch in OCaml. I'm not sure what I want to do with this, yet. Perhaps it can be used in the C parser to provide some sort of HM-style type inference and polymorphism (instead of void*) in C.

Try it out in your browser.

Git repository