On 31/12/2008, at 9:49 AM, Morten Høgholm wrote:
> [1] Another type which we have not really touched much: the "str"
> defined as tokens with catcode 12 (and space catcode 10) as output
> by several primitives.
I like this convention :) Detokenized input really does qualify in my
mind as a 'string', which gives it a snappy & recognisable name.
W