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