"Direct" denotational semantics of a toy imperative language expressed in (S)ML-97.

In sml:
use "toy.sml";
run "prog.fact.toy";
etc.
 
prog.*.toy   -- programs in the imperative language being defined.