An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"
Primary LanguageHaskellGNU General Public License v3.0GPL-3.0