Haskell I would put some of my Haskell work here IMP_semantics.hs This file is an implementation of IMP semantics language.