Sat Mar 7 12:03:35 CET 2009

core design documentation

Maybe it's time to start abstracting the core design of the SCAT
machine: exactly what is a state, how to extend and lift states, how
can it be made imperative and how to relate it to monads.

A good starting point would be: what can you do when you type this in
drscheme and press "run" :

#lang planet zwizwa/staapl/pic18
: abc 123 ;

One example is (print-code).