j
k
j a
j l
By "tokenizer" I mean anything that actually finds the real ends of those binding identifiers, so that you don't stumble on false prefix matches. It doesn't have to do more than that.
Back to the thread
Back to the list