Jarkko Hietaniemi wrote:
> (John Macdonald suggested the trick to me at least a year before
> the GR paper, and it's there in the Sorting chapter, though it is
> not called by any special name...)

Very interesting indeed.
No special name, huh?  Maybe that's the way it ought to be.

-- 
John Porter

Useless use of time in void context.

Reply via email to