4 lines
91 B
Plaintext
4 lines
91 B
Plaintext
;; page 15
|
|
member[a; x] = [null[x] -> F;
|
|
eq[a; car[x]] -> T;
|
|
T-> member[a; cdr[x]]] |