week2: expand on eta and extensionality
[lambda.git] / y-combinator.jpg
y-combinator.jpg