A work-in-progress implementation of the OutsideIn(X) constraint-based type inference engine used by GHC, the Glasgow Haskell Compiler.
- finish GADT-less/
let-less system - finish constraint generation for the full system
- finish the solver
This repository has been archived by the owner on Feb 7, 2022. It is now read-only.