Assertion: scheme's use | /r/CapableOf | rewrite b a
Facets:
value: as b a
type: OTHER
Source sentences:
text: Thus using let as defined above a Scheme implementation would rewrite " (let ((a 1)(b 2)) (+ b a)) " as " ((lambda (a b) (+ b a)) 1 2) ", which reduces implementation's task to that of coding procedure instantiations.