Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -24/+24 |
* | Pretty: fix unicode arrow operators. | Sebastian Reuße | 2015-09-15 | 1 | -1/+1 |
* | Fix off-by-one error in GHCi line reporting (Trac #10578) | Ömer Sinan Ağacan | 2015-07-17 | 1 | -3/+3 |
* | Use UnicodeSyntax when printing | Joachim Breitner | 2014-06-06 | 1 | -0/+36 |