Algorithm W for type inference written in Prolog
Primary LanguagePrologMIT LicenseMIT
No issues in this repository yet.