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

Re: Issue: TAILP-NIL (version 3)

Your version 3 eliminated proposal TAILP-NIL:NIL, but retained some
references to that proposal.

If there are still some folks in favor of TAILP-NIL:NIL, we can go back to
two proposals for the ballot; I don't think that is the case, and we just
need a minor rewrite to fix the current practice, discussion sections.