Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Kill floatEqualities completely | Simon Peyton Jones | 2020-12-20 | 1 | -1/+1 |
* | Quick Look: zonk result type | Simon Peyton Jones | 2020-12-19 | 1 | -19/+67 |
* | Name (tc)SplitForAll- functions more consistently | Ryan Scott | 2020-11-15 | 1 | -4/+4 |
* | Lint the compiler for extraneous LANGUAGE pragmas | Hécate | 2020-10-10 | 1 | -9/+12 |
* | Fix typos in comments | Krzysztof Gogolewski | 2020-10-02 | 1 | -2/+2 |
* | Make 'undefined x' linear in 'x' (#18731) | Krzysztof Gogolewski | 2020-09-26 | 1 | -2/+7 |
* | Implement Quick Look impredicativity | Simon Peyton Jones | 2020-09-24 | 1 | -0/+1083 |