Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use GHC2021 as default language | Joachim Breitner | 2021-03-10 | 1 | -0/+1 |
* | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 1 | -1/+1 |
* | Validate inferred theta. Fixes #8883 | Jan Stolarek | 2014-04-19 | 1 | -0/+20 |