About substitution in lab4

1 view

Skip to first unread message

Juan Antonio Rey Mendo

unread,

Mar 9, 2010, 3:15:01 AM3/9/10

to proglang-course-2010

Hi, I have this problem doing the lab4:

In f->\x->\y->x+y I know how to keep the variables, but how can I get
the expression (in this case, x+y) when I need it to substitution?
I mean, I recognize \x but I don't know how to substitute it in the
expression (recognize the x of the expression as the same as the
variable \x). Any suggestions are welcome , thanks ;)