Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 1 | -8/+0 |
* | Generate Typeable info at definition sites | Ben Gamari | 2015-10-30 | 1 | -0/+3 |
* | Revert "Generate Typeable info at definition sites" | Ben Gamari | 2015-10-29 | 1 | -3/+0 |
* | Generate Typeable info at definition sites | Ben Gamari | 2015-10-29 | 1 | -0/+3 |
* | Be less verbose when printing Names when we don't know what's in scope | Simon Peyton Jones | 2014-04-24 | 1 | -22/+22 |
* | Test for T7918 | Edsko de Vries | 2013-09-03 | 1 | -0/+27 |