Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Have addModFinalizer expose the local type environment. | Facundo DomÃnguez | 2017-01-06 | 1 | -0/+7 |
* | Rewrite `Coercible` solver | Richard Eisenberg | 2014-12-12 | 1 | -0/+5 |
* | Test :kind and :kind! commands | Simon Peyton Jones | 2011-10-25 | 1 | -0/+5 |