summaryrefslogtreecommitdiff
path: root/docs/users_guide/exts/existential_quantification.rst
Commit message (Expand)AuthorAgeFilesLines
* Fix a typo in existential_quantification.rstMark2020-07-211-1/+1
* Use conLikeUserTyVarBinders to quantify field selector typesRyan Scott2020-04-121-1/+5
* Split glasgow_exts into several files (#17316)Sylvain Henry2020-01-251-0/+259