X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=miscellaneous_lambda_challenges_and_advanced_topics.mdwn;h=1289713c6d414912ccc2cff7221eb654d71fcd95;hp=d9f1c40058b9a369809101d4aab142ef7eb6b0db;hb=4f4f76bdb9fa83733f4afe6543ee0d2d40146f4e;hpb=c41011d1b721965659468bfae6105c054e0c257b

diff --git a/miscellaneous_lambda_challenges_and_advanced_topics.mdwn b/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
index d9f1c400..1289713c 100644
--- a/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
+++ b/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
@@ -254,13 +254,13 @@ 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
 	pair's elements*, not the pair itself, as arguments.)
 
-	*Terminology*: we'll try to use names of the form `get_foo` for handlers, and
+	>	*Terminology*: we'll try to use names of the form `get_foo` for handlers, and
 	names of the form `extract_foo` for lifted versions of them, that accept the
 	lists (or whatever data structure we're working with) as arguments. But we may
 	sometimes forget.