/type-inference

A Hindley-Milner(-Damas) type inference implementation in C.

Primary LanguageCBSD 2-Clause "Simplified" LicenseBSD-2-Clause

No issues in this repository yet.