Skip to content

Instantly share code, notes, and snippets.

data ExecutionState = Exec Continuation [Value]
| Done
deriving (Show)
data Continuation = PrimitiveCont Primitive
| CompoundCont ContCode Env
deriving (Show)
data Value = Cont Continuation
| Num Int