
12 Apr
2019
12 Apr
'19
7:52 p.m.
Er? Without laziness, you're going to try to evaluate the bottoms regardless of where they are.
Exactly: with lazyness, either associativity gives the same result, and without lazyness either associativity also gives the same result. The two seem orthogonal to me. Stefan