From 359a8c39b82ddb4f423c707e7a95771d4668b127 Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Tue, 5 Apr 2016 12:26:57 +0200 Subject: fix typo --- doc/guide.pandoc | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'doc/guide.pandoc') 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 -------------------------- ------------------------------ `\f -> \x -> \y -> f y x` [] `\x -> \y -> f y x` (`f` :: a) : [] -`\y -> f y x` (`x` :: a) : (`f` :: a) : [] -`f y x` (`y` :: a) : (`x` :: a) : (`f` :: a) : [] -`f y` (`y` :: a) : (`x` :: a) : (`f` :: a) : [] -`x` (`y` :: a) : (`x` :: a) : (`f` :: a) : [] -`f` (`y` :: a) : (`x` :: a) : (`f` :: a) : [] -`y` (`y` :: a) : (`x` :: a) : (`f` :: a) : [] +`\y -> f y x` (`x` :: b) : (`f` :: a) : [] +`f y x` (`y` :: c) : (`x` :: b) : (`f` :: a) : [] +`f y` (`y` :: c) : (`x` :: b) : (`f` :: a) : [] +`x` (`y` :: c) : (`x` :: b) : (`f` :: a) : [] +`f` (`y` :: c) : (`x` :: b) : (`f` :: a) : [] +`y` (`y` :: c) : (`x` :: b) : (`f` :: a) : [] -------------------------- ------------------------------ We can store more information in context: -- cgit v1.2.3