21 Jul
2010
21 Jul
'10
7:20 p.m.
I see the code, but not the reasons. If the terms are left-recursive, why not just collapse them _before_ calling ``+? It makes more sense to suppose that the arguments to ``+ are evaluated right-recursively, IMO.