Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Extension shuffling (#23291)wip/sand-witch/modern-STV-extension-shuffling | Ben Gamari | 2023-05-17 | 1 | -1/+1 |
* | Updates language extension documentation | Trevis Elser | 2022-08-10 | 1 | -0/+3 |
* | users guide: Fix various documentation issues | Ben Gamari | 2020-09-19 | 1 | -2/+2 |
* | Make the forall-or-nothing rule only apply to invisible foralls (#18660) | Ryan Scott | 2020-09-08 | 1 | -11/+16 |
* | Reject nested foralls/contexts in instance types more consistently | Ryan Scott | 2020-06-30 | 1 | -0/+5 |
* | Fix duplicated words and typos in comments and user guide | Jan HrĨek | 2020-06-28 | 1 | -1/+1 |
* | docs: fix formatting in users guide | Adam Sandberg Ericsson | 2020-06-17 | 1 | -3/+3 |
* | Make GADT constructors adhere to the forall-or-nothing rule properly | Ryan Scott | 2020-06-09 | 1 | -0/+77 |
* | Split glasgow_exts into several files (#17316) | Sylvain Henry | 2020-01-25 | 1 | -0/+48 |