sexp

Is this a sane representation for s-expressions?

struct O
{
union {
Cell *o;
char *a;
};
int type;
};

struct Cell
{
O car, cdr;
};

>>20
And to ensure that there is a successor function for all natural numbers, you have to check to make sure that n+1=n^* infinitely many times. And to shoot an arrow it first has to move half way, but before that, it has to move a quarter of the way, so clearly motion is impossible.