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.