Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 1 | -2/+6 |
* | Typos in comments, notes and manual | Gabor Greif | 2016-11-15 | 1 | -1/+1 |
* | Fix impredicativity (again) | Simon Peyton Jones | 2016-09-30 | 1 | -0/+2 |
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -1/+1 |
* | Move tests from tests/ghc-regress/* to just tests/* | David Terei | 2011-07-20 | 1 | -0/+17 |