[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

EQUAL-STRUCTURE



After all the debate, I'm convinced that the worst thing that we can do is to
change it without fixing it, and that it is unfixable. I think taking it out is
too radical, and so we should just clarify that it doesn't descend into any
structure that CLtL doesn't mention that it explicitly descends into.