#: control delimiters. -- Matthias On Wednesday, August 20, 2003, at 09:02 PM, David B. Tucker wrote: >> 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