An abstract graph reduction machine interpreting Haskell written in F# by Coding Bebop.