Next:
Progress Rules
Up:
Evaluation Rules
Previous:
Evaluation Rules
Focus Rules
(if (if ) if
(cond [ ] \ (cond [ ] ) if
( ...
E
...
E
' ) if
(define
n
(define
n
E
') if
(local [(define ) (define )] see Section
6.1
PLT
