reduction strategy should be 'false' for normal order, not 1
[lambda.git] / y-combinator.jpg
y-combinator.jpg