summaryrefslogtreecommitdiff
path: root/docs/users_guide/exts/explicit_forall.rst
Commit message (Expand)AuthorAgeFilesLines
* Extension shuffling (#23291)wip/sand-witch/modern-STV-extension-shufflingBen Gamari2023-05-171-1/+1
* Updates language extension documentationTrevis Elser2022-08-101-0/+3
* users guide: Fix various documentation issuesBen Gamari2020-09-191-2/+2
* Make the forall-or-nothing rule only apply to invisible foralls (#18660)Ryan Scott2020-09-081-11/+16
* Reject nested foralls/contexts in instance types more consistentlyRyan Scott2020-06-301-0/+5
* Fix duplicated words and typos in comments and user guideJan HrĨek2020-06-281-1/+1
* docs: fix formatting in users guideAdam Sandberg Ericsson2020-06-171-3/+3
* Make GADT constructors adhere to the forall-or-nothing rule properlyRyan Scott2020-06-091-0/+77
* Split glasgow_exts into several files (#17316)Sylvain Henry2020-01-251-0/+48