You can't prove anything about a program written in C or FรRTRAN. It's really just Peek and Poke with some syntactic sugar.
I think multiple levels of undo would be wonderful, too.
The standard definition of AI is that which we don't understand.
I was surprised about vi going in, though, I didn't know it was in System V.
I just don't like to lose what's in the window.
Take responsibility for the things you build and invent.