Where are we now?
We have defined two concepts, line and token, that are
- abstract enough to be independent of any particular programming language and implementation
- concrete enough that we can write and discuss programs that use them
We still have an implementation job ahead of us