Optional context for a quantified constraint
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 10 Jul 2018 11:55:21 +0000 (12:55 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 10 Jul 2018 11:55:21 +0000 (12:55 +0100)
commit8ec2946048123f9278cf68eaf520104319a1f569
tree4c1ef0991309f605cdc9dd702cef20a2da41dbbd
parent5067b205a8abb5a9f98335d3a929f647c88c0aa2
Optional context for a quantified constraint

This is a documentation-only fix, addressing Trac #15354.
docs/users_guide/glasgow_exts.rst