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

Typo

Browse Source
This commit is contained in:
Mark 2023-10-03 18:17:39 -07:00
parent 3c84c908d2
commit fdf7ba8e4c
Signed by: Mark
GPG Key ID: AD62BB059C2AAEE4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -172,7 +172,7 @@ $I = \lm a.a = \lm b.b = \lm \heartsuit . \heartsuit = ...$
\generic{$\alpha$-Conversion:} \generic{$\alpha$-Conversion:}
Variables inside functions are \say{scoped.} We must take care to keep separate variable separate. Variables inside functions are \say{scoped.} We must take care to keep separate variables separate.
For example, take the functions \\ For example, take the functions \\
$A = \lm a b . a$ \\ $A = \lm a b . a$ \\