Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Warn on inferred polymorphic recursion | Richard Eisenberg | 2019-12-11 | 1 | -0/+3 |
* | Pretty-printing of the * kind | Vladislav Zavialov | 2019-12-05 | 1 | -2/+2 |
* | Standalone kind signatures (#16794)wip/top-level-kind-signatures | Vladislav Zavialov | 2019-09-25 | 65 | -0/+498 |