> Here are the equations:
>
> # E{ F v } = # v (\x.E{ x })
>
> # E{ F+ v } = v (\x.E{ x })
>
> # E{ G/w v } = v (w(E))
>
> E: evaluation contexts
> v: function
> x: variable
> f(x): function application
> \x.expression: (lambda (x) expression) in Scheme
What are the '#'s?
Dave