Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add GhcMessage and ancillary types | Alfredo Di Napoli | 2021-04-29 | 1 | -0/+7 |
* | Remove flattening variables | Richard Eisenberg | 2020-12-01 | 1 | -1/+6 |
* | PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341 | Sebastian Graf | 2020-09-10 | 1 | -2/+7 |
* | Modules: Utils and Data (#13009) | Sylvain Henry | 2020-04-26 | 1 | -0/+335 |