Principal Type Inference in a Boolean Algebra of Structural Types
Primary LanguageScalaMIT LicenseMIT