A simple virtual machine for the stack machine language described in ch. 2 of Wilhelm and Seidl's "Compiler Design."
Requires: Haskeline, Parsec.