Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Standalone kind signatures (#16794)wip/top-level-kind-signatures | Vladislav Zavialov | 2019-09-25 | 1 | -0/+1 |
* | Show explicit quantifiers in conflicting definitions error | Phil de Joux | 2017-01-20 | 1 | -1/+1 |
* | Hide derived OccNames from user | Ben Gamari | 2016-01-19 | 1 | -0/+1 |