Next assignment for Friday 17th

[reborgml]

Hello,

Very nice discussing today about Church numerals and demonstrating why we call that thing a "one" and this other a "two" on the board. Mind bending stuff, considering lambda calculus is entirely based on functions only and Church numerals also define operations on integers without using a single integer (or list).

next Friday 12:30 - 13:30 we can work on:

- Chapter 2.1.4

- Any of the many exercises at the end as you see fit

- Chapter 2.2 for some new theory bits

Cheers

Renzo