On 12/28/06, Richard Fateman <fateman at cs.berkeley.edu> wrote:
> My original comment about equivalence does not satisfactorily settle the
> issue, so it is not clear what we agree on. :)
>
> The question remains about evaluation of "expression" in
> Sum(expression,i,1,10) before it is put into the lambda ([i],....).
This is certainly one of the many issues that need to be resolved.
-s