ampleyfly

data ExecutionState = Exec Continuation [Value]
                    | Done
     deriving (Show)

data Continuation = PrimitiveCont Primitive
                  | CompoundCont ContCode Env
     deriving (Show)

data Value = Cont Continuation
           | Num Int