Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix #17021 by checking more return kinds | Richard Eisenberg | 2020-03-17 | 1 | -2/+1 |
* | Pretty-printing of the * kind | Vladislav Zavialov | 2019-12-05 | 1 | -1/+1 |
* | Refactor UnliftedNewtypes-relation kind signature validity checks | Ryan Scott | 2019-06-23 | 1 | -0/+5 |