Sat May 18 09:53:49 EDT 2019


This idea really attached itself.  Why is it so important?  Because it
is a _physical_ property that cannot be disputed.  I.e. it is not a
leaky abstraction:

An algorithm running on a CPU is necessarily sequential, but while
going through the steps, it can refer to all its input, and all its

Capturing this in the core language is very important.