Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -8/+3 |
* | Narrow scope of special-case for unqualified printing of names in core libraries | Ben Gamari | 2015-12-15 | 1 | -3/+5 |
* | Rework the Implicit CallStack solver to handle local lets. | Eric Seidel | 2015-12-12 | 1 | -3/+6 |
* | Use UnicodeSyntax when printing | Joachim Breitner | 2014-06-06 | 1 | -0/+6 |