Sat Aug 17 09:17:51 EDT 2019

Sumary of ideas

- focus on the transition functions

- figure out how to auto-pipeline

- compiling to C is re-defining what transition means (a sequential
  program will execute a transaction, instead of a logic update

The key is really in bridging these two worlds: expressing a machine
such that it can be compiled to C but runs slower, or be compiled to
(pipelined) logic and runs faster.