empty?

empty? : (any -> boolean)

purpose:
to determine whether some value is the empty list

Reductions:
(empty? empty) ==> true
(empty? v_1) ==> false
where v_1 is not empty
(empty?) e==> empty?: expects one argument
(empty? v v v ...) e==> empty?: expects one argument

Beginning Student Language