preposterous. An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"

github.com/evertedsphere/preposterous

Problem

Audience

Updates

No founder updates yet. Check back soon.