If you define macro having "matching" parameters you can do justabout anything. (defmacro CAR ((x . y)) x) (defmacro CDR ((x . y)) y) Ok. I cant defin

If you define macro having "matching" parameters you can do justabout anything. (defmacro CAR ((x . y)) x) (defmacro CDR ((x . y)) y) Ok. I cant define IF, letus add that to the primitives.