Mark/handouts
Mark/handouts
1
0
Fork 0
Code Pull Requests 2 Actions Packages Releases Activity

Minor fix

Browse Source
This commit is contained in:
Mark 2023-10-22 20:55:21 -07:00
parent e4706d41e7
commit 20b0bf3e7d
Signed by: Mark
GPG Key ID: AD62BB059C2AAEE4
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Advanced/Lambda Calculus/parts/00 intro.tex
View File

@ -321,10 +321,11 @@ We've already seen this on the previous page: $K$ takes an input $x$ and uses it
You can think of $K$ as a \say{factory} that constructs functions using the input we provide. You can think of $K$ as a \say{factory} that constructs functions using the input we provide.
\problem{}<firstcardinal> \problem{}<firstcardinal>
\vspace{1mm} % Slight gap for big paren
Let $C = \lm f. \Bigl[\lm g. \Bigl( \lm x. [~ f(g(x)) ~] \Bigr)\Bigr]$. For now, we'll call it the \say{composer.} \par Let $C = \lm f. \Bigl[\lm g. \Bigl( \lm x. [~ f(g(x)) ~] \Bigr)\Bigr]$. For now, we'll call it the \say{composer.} \par
\note[Note]{We could also call $C$ the \say{right-associator.} Why?} \note[Note]{We could also call $C$ the \say{right-associator.} Why?}
\vspace{1mm} \vspace{3mm}
$C$ has three \say{layers} of curry: it makes a function ($\lm g$) that makes another function ($\lm x$). \par $C$ has three \say{layers} of curry: it makes a function ($\lm g$) that makes another function ($\lm x$). \par
If we look closely, we'll find that $C$ pretends to take three arguments. If we look closely, we'll find that $C$ pretends to take three arguments.