Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | TH: Fix pretty printing of newtypes with operators and GADT syntax (#20868) | Zubin Duggal | 2022-03-19 | 1 | -7/+7 |
* | Implement a coverage checker for injectivity | Richard Eisenberg | 2019-10-23 | 1 | -1/+1 |
* | Built-in Natural literals in Core | Sylvain Henry | 2018-06-15 | 1 | -2/+2 |
* | Fix #14060 by more conservatively annotating TH-reified types | Ryan Scott | 2017-08-14 | 1 | -0/+11 |