symbol=?

symbol=? : (symbol symbol -> boolean)

purpose:
to determine whether two symbols are equal

Reductions:
(symbol=? v v v v ...) e--> procedure symbol=?: expects 2 arguments
(symbol=?) e--> procedure symbol=?: expects 2 arguments
(symbol=? v1 v2) e--> symbol=?: expects argument of type <symbol>
where v1 is not a symbol or v2 is not a symbol
(symbol=? 'x 'y) --> true, if x and y are the same and false otherwise

Beginning Student Language