University
of Washington • CSE583 • D. Notkin © 2000
8
Scheme syntax
Program ::= ( Definition | Expr )
Definition ::= (define id Expr)
| (define (idfn idformal1 … idformalN) Expr) Expr ::= id | Literal | SpecialForm
| (Exprfn Exprarg1 … ExprargN)
Literal ::= int | string | symbol | …
SpecialForm ::= (if Exprtest Exprthen Exprelse) | ...