Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC
Commits:
-
30ef0aac
by Simon Hengel at 2025-09-23T20:44:12-04:00
1 changed file:
Changes:
| ... | ... | @@ -6,7 +6,7 @@ Lexically scoped type variables |
| 6 | 6 | ===============================
|
| 7 | 7 | |
| 8 | 8 | .. extension:: ScopedTypeVariables
|
| 9 | - :shortdesc: Lexically scope explicitly-introduced type variables.
|
|
| 9 | + :shortdesc: Lexically scoped explicitly-introduced type variables.
|
|
| 10 | 10 | |
| 11 | 11 | :implies: :extension:`ExplicitForAll`
|
| 12 | 12 |