Sun Mar 25 21:46:42 EDT 2018
Live coding: focus on the code buffer that sits between push and pull
PUSH = source code "save" event, which "blesses" the code as correct,
and triggers a compilation + checks.
PULL = something that either executes the code directly, or explicitly
fetches it to execute somewhere else.
In between sits the code buffer.
The main design constraint:
The code buffer needs to serve pull until we power up the edit system
and perform a new push.