this is a completely different approach to programming
(which i'm struggling to understand). the key fact of
interest is that it appears to be "correctness preserving"
that is, the program is alway runnable (rather than typing
partial characters to break a program while editing).
i can see how to create such a program in lisp. i just
have not fully appreciated this approach.
the idea seems interesting and novel and could related to
either the way we make web pages or to the eventual presentation
anyway, i bring it to your attention as an interesting idea...