+
+ : (num num num ... -> num)
purpose:
to compute the sum of the input numbers
Reductions:
(+ number_1 ...)
==>
the sum of the numbers
(+ v_arg ...)
e==>
+: expects type <number>
where at least one
v_arg
is not a number
Beginning Student Language