diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-04-05 12:26:57 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-05 12:26:57 +0200 |
commit | 359a8c39b82ddb4f423c707e7a95771d4668b127 (patch) | |
tree | 7d62ec0e6a4693432d1779f9eb1cb626508a2463 /doc/guide.pandoc | |
parent | 5912b63a89fd2db11aa0e767189856769e23f6ce (diff) |
fix typo
Diffstat (limited to 'doc/guide.pandoc')
-rw-r--r-- | doc/guide.pandoc | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/guide.pandoc b/doc/guide.pandoc index 8d106ad8..d1d31538 100644 --- a/doc/guide.pandoc +++ b/doc/guide.pandoc | |||
@@ -475,12 +475,12 @@ subexpression context | |||
475 | -------------------------- ------------------------------ | 475 | -------------------------- ------------------------------ |
476 | `\f -> \x -> \y -> f y x` [] | 476 | `\f -> \x -> \y -> f y x` [] |
477 | `\x -> \y -> f y x` (`f` :: a) : [] | 477 | `\x -> \y -> f y x` (`f` :: a) : [] |
478 | `\y -> f y x` (`x` :: a) : (`f` :: a) : [] | 478 | `\y -> f y x` (`x` :: b) : (`f` :: a) : [] |
479 | `f y x` (`y` :: a) : (`x` :: a) : (`f` :: a) : [] | 479 | `f y x` (`y` :: c) : (`x` :: b) : (`f` :: a) : [] |
480 | `f y` (`y` :: a) : (`x` :: a) : (`f` :: a) : [] | 480 | `f y` (`y` :: c) : (`x` :: b) : (`f` :: a) : [] |
481 | `x` (`y` :: a) : (`x` :: a) : (`f` :: a) : [] | 481 | `x` (`y` :: c) : (`x` :: b) : (`f` :: a) : [] |
482 | `f` (`y` :: a) : (`x` :: a) : (`f` :: a) : [] | 482 | `f` (`y` :: c) : (`x` :: b) : (`f` :: a) : [] |
483 | `y` (`y` :: a) : (`x` :: a) : (`f` :: a) : [] | 483 | `y` (`y` :: c) : (`x` :: b) : (`f` :: a) : [] |
484 | -------------------------- ------------------------------ | 484 | -------------------------- ------------------------------ |
485 | 485 | ||
486 | We can store more information in context: | 486 | We can store more information in context: |