Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Udate hsSyn AST to use Trees that Grow | Alan Zimmerman | 2017-06-06 | 1 | -15/+16 |
* | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -7/+17 |
* | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -1/+5 |
* | compiler: de-lhs typecheck/ | Austin Seipp | 2014-12-03 | 1 | -0/+26 |