/
/ : (num num num ... -> num)
purpose:
to divide the first by the second (and all following) number(s)
None but the first number can be zero.
Reductions:
(/ arg ...) e--> /: expects type <number>
where at least one arg is not a number
(/ n ns ...) e--> /: division by zero
where at least one ns is zero
(/ n ns ...) --> the quotient of the numbers
where each ns is not zero
Beginning Student Language