summaryrefslogtreecommitdiff
path: root/docs/users_guide/exts/poly_kinds.rst
Commit message (Expand)AuthorAgeFilesLines
* Misc cleanupKrzysztof Gogolewski2023-01-051-2/+3
* Updates language extension documentationTrevis Elser2022-08-101-2/+6
* Docs: fix mistaken claim about kind signaturessheaf2022-07-281-8/+37
* Remove -Wunticked-promoted-constructors from -WallKrzysztof Gogolewski2022-02-221-14/+14
* Documentation: use https linksKrzysztof Gogolewski2021-09-081-1/+1
* Reword: representation instead of levitysheaf2021-06-101-1/+2
* Document the interaction between ScopedTypeVariables and StandaloneKindSignat...Ryan Scott2021-03-151-0/+31
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-85/+153
* Make typechecker equality consider visibility in ForAllTysRyan Scott2020-10-311-18/+0
* Make DataKinds the sole arbiter of kind-level literals (and friends)Ryan Scott2020-10-141-23/+0
* Fix duplicated words and typos in comments and user guideJan HrĨek2020-06-281-5/+5
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-171-0/+71
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-121-2/+1
* Split glasgow_exts into several files (#17316)Sylvain Henry2020-01-251-0/+931