Next: Selector `cdr'
Up: Basic abstractions for pairs
Previous: Constructor `cons'
The abstraction `car' selects the head of a pair:
`car' is equivalent to a function that is passed a list as an
The list is invoked as a function with `true' supplied as an
argument. `true' by definition is a selector returning the first
of two arguments, which in our case is the head of the pair or list.
Georg P. Loczewski