The Five Rules
-
The Law of Car
- The primitive
caris defined only for non-empty lists.
- The primitive
-
The Law of Cdr
- The primitive
cdris defined only for non-empty lists. - The
cdrof any non-empty list is always another list.
- The primitive
-
The Law of Cons
- The primitive
constakes two arguments. - The second argument to
consmust be a list. - The result is a list.
- The primitive
-
The Law of Null?
- The primitive
null?is defined only for lists.
- The primitive
-
The Law of Eq?
- The primitive
eq?takes two arguments. - Each must be a non-numeric atom.
- The primitive