| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove all the unnecessary LANGUAGE pragmas | Hécate | 2020-08-05 | 1 | -6/+3 |
| * | Remove OPTIONS_HADDOCK hide in favour for not-home | Adam Sandberg Eriksson | 2019-01-06 | 1 | -1/+1 |
| * | Built-in Natural literals in Core | Sylvain Henry | 2018-06-15 | 2 | -0/+199 |
