From e339942e9ebf6bd1650c1640e32298a75318c55b Mon Sep 17 00:00:00 2001
From: Jim Pryor <profjim@jimpryor.net>
Date: Sun, 3 Oct 2010 02:24:48 -0400
Subject: [PATCH] tweak advanced

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---
 miscellaneous_lambda_challenges_and_advanced_topics.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.11.0