Descriptions & implementations of type-reconstruction/inference algorithms.
Primary LanguageCoqMIT LicenseMIT