Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Overhaul -fprint-explicit-kinds to use VKA | Ryan Scott | 2018-11-22 | 1 | -1/+1 |
* | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 1 | -1/+5 |
* | Have addModFinalizer expose the local type environment. | Facundo DomÃnguez | 2017-01-06 | 1 | -0/+2 |
* | Rewrite `Coercible` solver | Richard Eisenberg | 2014-12-12 | 1 | -0/+6 |
* | Test :kind and :kind! commands | Simon Peyton Jones | 2011-10-25 | 1 | -0/+5 |