From: Jim Pryor <profjim@jimpryor.net>
Date: Sun, 3 Oct 2010 06:24:48 +0000 (-0400)
Subject: tweak advanced
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=e339942e9ebf6bd1650c1640e32298a75318c55b

tweak advanced

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

diff --git a/miscellaneous_lambda_challenges_and_advanced_topics.mdwn b/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
index d9f1c400..cd0ba687 100644
--- a/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
+++ b/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
@@ -254,7 +254,7 @@ can use.
 
 	to get the first element of the pair. Of course you can lift that if you want:
 
-	<pre><code>extract_1st &equiv; \pair. pair (\x y. x)</code></pre>
+	<pre><code>extract_fst &equiv; \pair. pair (\x y. x)</code></pre>
 
 	but at a lower level, the pair is still accepting its handler as an argument,
 	rather than the handler taking the pair as an argument. (The handler gets *the