diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2022-07-22 18:46:03 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-07-25 09:46:21 -0400 |
| commit | 79f1b0219f5c00f5c8eb7884bd33993bd98680a0 (patch) | |
| tree | 65e0a695d8795df5e575c5054d11259cdaaa9240 /docs | |
| parent | 3bbde95769aa2986adb8bef7d718aa0e8731f9fd (diff) | |
| download | haskell-79f1b0219f5c00f5c8eb7884bd33993bd98680a0.tar.gz | |
docs: Fix documentation of \cases
Fixes #21902.
Diffstat (limited to 'docs')
| -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 :: |