| Date: Fri, 29 Aug 1997 18:39:57 +0200 (MET DST) | From: Olivier Danvy <danvy@brics.dk> | Subject: Re: requiring proper tail recursion | | Better stick to an exclusively syntactic specification. I agree with this completely for the definition, but not for the rationale or "intuitive" explanation, which I think is valuable.