empty?
empty? : (any -> boolean)
purpose:
to determine whether some value is the empty list
Reductions:
(empty? v v v ...) e--> empty?: expects one argument
(empty?) e--> empty?: expects one argument
(empty? v) --> false
where v is not empty
(empty? empty) --> true
Beginning Student Language