edwinb/Idris-dev — pull request #317 by david-christiansen (2013-05-23 09:21:00+00:00)
Title: Providers update

I've cleaned up the implementation of type provider elaboration to give better, more specific errors and to be more readable and maintainable.

No new features.