13 Apr
2019
13 Apr
'19
5:22 a.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