first commit for all the SML and haskell work