aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/Bug1103.hs
Commit message (Expand)AuthorAgeFilesLines
* html-test: Always set languageJoachim Breitner2021-02-221-0/+1
* Reify oversaturated data family instances correctly (#1103)Ryan Scott2019-10-231-0/+24