symbol=?

symbol=? : (symbol symbol -> boolean)

purpose:
to determine whether two symbols are equal

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

Beginning Student Language