An Implementation of the (tail recursive) SECD Virtual Machine in Haskell.
An Implementation of the TR-SECD Virtual Machine in Haskell