tweak advanced
[lambda.git] / miscellaneous_lambda_challenges_and_advanced_topics.mdwn
index d9f1c40..cd0ba68 100644 (file)
@@ -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