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.