Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
pp:2025:l07 [2025/04/14 22:20] cata_chiru |
pp:2025:l07 [2025/04/14 22:36] (current) ldaniel |
||
|---|---|---|---|
| Line 185: | Line 185: | ||
| **7.3.3.** Define the $ NOR $ operations over booleans. | **7.3.3.** Define the $ NOR $ operations over booleans. | ||
| - | <hidden Solutions 7.3.1> | + | <hidden Solutions 7.3> |
| Solutions: | Solutions: | ||
| 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> | ||