Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Reduce result discount in conSize | Simon Peyton Jones | 2020-07-13 | 1 | -1/+1 |
* | Print Core type applications with no whitespace after @ (#17643) | Ryan Scott | 2020-01-08 | 1 | -1/+1 |
* | Make add_info attach unfoldings (#16615) | Tobias Dammers | 2019-08-15 | 1 | -2/+7 |
* | Fix #15039 by pretty-printing equalities more systematically | Ryan Scott | 2018-05-16 | 1 | -1/+1 |
* | Drop dead Given bindings in setImplicationStatus | Simon Peyton Jones | 2018-01-04 | 1 | -0/+20 |