An attempt at type inference for System F-omega
Primary LanguageTypeScript
No issues in this repository yet.