diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2022-07-22 18:46:03 +0200 |
|---|---|---|
| committer | Douglas Wilson <douglas.wilson@gmail.com> | 2022-07-27 11:29:56 +0100 |
| commit | a9c0b989d0b8af82c41462b73cf6f7d043c668b1 (patch) | |
| tree | 6f579d2985fe87108c41735d789a2ca263bea71b | |
| parent | cd8a85fb2506dd7b822877499e0df433e00c5751 (diff) | |
| download | haskell-a9c0b989d0b8af82c41462b73cf6f7d043c668b1.tar.gz | |
docs: Fix documentation of \cases
Fixes #21902.
(cherry picked from commit 79f1b0219f5c00f5c8eb7884bd33993bd98680a0)
| -rw-r--r-- | docs/users_guide/exts/lambda_case.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/users_guide/exts/lambda_case.rst b/docs/users_guide/exts/lambda_case.rst index 6872101698..ca648fa904 100644 --- a/docs/users_guide/exts/lambda_case.rst +++ b/docs/users_guide/exts/lambda_case.rst @@ -24,11 +24,11 @@ of the form :: \cases { p11 ... pM1 -> e1; ...; p1N ... pMN -> eN } -which is equivalent to a function defined as +which is equivalent to a function defined as :: - f p11 ... pM1 -> e1 + f p11 ... pM1 = e1 ... - f p1N ... pMN -> eN + f p1N ... pMN = eN Note that both ``\case`` and ``\cases`` start a layout, so you can write :: |