Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | A bunch of changes related to eta reduction | Simon Peyton Jones | 2022-05-30 | 1 | -2/+3 |
* | Remove LevityInfo | Krzysztof Gogolewski | 2022-04-20 | 1 | -1/+0 |
* | Use primOpIds cache more often (#20857) | Sylvain Henry | 2022-01-06 | 1 | -0/+80 |