Signed-off-by: Jim Pryor <profjim@jimpryor.net>
to get the first element of the pair. Of course you can lift that if you want:
to get the first element of the pair. Of course you can lift that if you want:
- <pre><code>extract_1st ≡ \pair. pair (\x y. x)</code></pre>
+ <pre><code>extract_fst ≡ \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
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