4 lines
99 B
Plaintext
4 lines
99 B
Plaintext
;; page 59
|
|
prop[x;y;u] = [null[x] -> u[];
|
|
eq[car[x]; y] -> cdr[x];
|
|
T -> prop[cdr[x]; y; u]] |