car

car : ((cons y (listof x)) -> y)

purpose:
to select the first item of a non-empty list


Intermediate Student Language