|
|
|
|
|
|
by sunrunner
298 days ago
|
|
|
Is this a valid decription of the successor function? Incidentally, if you have three hours to spare on some casual Lambda Calculus introduction, I always think [1] is a fun watch. [1] https://youtube.com/watch?v=5C6sv7-eTKg |
|
|
Valid but only partial since it only describes one value.