cons
cons : (x (listof x) -> (listof x))
purpose:
to construct a list
Reductions:
(cons v v_1)
e-->
cons: second argument must be of type <list>
where
v_1
is not
empty
, and
v_1
is not
(cons ...)
Beginning Student Language