GitHub - semahawk/type-inference: A Hindley-Milner(-Damas) type inference implementation in C.

A Hindley-Milner(-Damas) type inference implementation in C. - semahawk/type-inference
github.com github.com