Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Modules: Utils and Data (#13009) | Sylvain Henry | 2020-04-26 | 1 | -5/+5 |
* | GHC.Core.Opt renaming | Sylvain Henry | 2020-04-18 | 1 | -1/+1 |
* | Modules: type-checker (#13009) | Sylvain Henry | 2020-04-07 | 1 | -5/+5 |
* | Clean up "Eta reduction for data families" Notes | Ryan Scott | 2020-04-01 | 1 | -6/+8 |
* | Modules: Types (#13009) | Sylvain Henry | 2020-03-29 | 1 | -7/+7 |
* | Modules: Core operations (#13009) | Sylvain Henry | 2020-03-18 | 1 | -1/+1 |
* | Fix #17021 by checking more return kinds | Richard Eisenberg | 2020-03-17 | 1 | -4/+7 |
* | Modules: Core (#13009) | Sylvain Henry | 2020-03-16 | 1 | -0/+1833 |