Compositional type checking for a Hindley-Milner type system
Primary LanguageHaskellMIT LicenseMIT
This repository is not active