Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
pp:2025:l07 [2025/04/14 22:21] cata_chiru [7.3. Booleans] |
pp:2025:l07 [2025/04/14 22:36] (current) ldaniel |
||
|---|---|---|---|
| Line 295: | Line 295: | ||
| The **Y**-combinator in lambda calculus looks like this: \\ | The **Y**-combinator in lambda calculus looks like this: \\ | ||
| \\ | \\ | ||
| - | $ FIX = \lambda f.(\lambda x.(f \ (x \ x)) \ (\lambda x.f \ (x \ x))) $ | + | $ FIX = \lambda f.(\lambda x.(f \ (x \ x)) \ \lambda x.(f \ (x \ x))) $ |
| </note> | </note> | ||