diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2022-07-22 18:46:03 +0200 |
|---|---|---|
| committer | Simon Jakobi <simon.jakobi@gmail.com> | 2022-07-22 18:46:03 +0200 |
| commit | aa2beb6dbe9340ec3a52b6e47d7e90b59c91b463 (patch) | |
| tree | e442c49071be504127f4371a51cb939c188728e0 | |
| parent | 81d65f7f358fdbd1d13b89c43fc4cbe3ac82d24b (diff) | |
| download | haskell-wip/sjakobi/21902-cases-docs.tar.gz | |
docs: Fix documentation of \caseswip/sjakobi/21902-cases-docs
Fixes #21902.
| -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 :: |