Seem to use haskell , just in case you are wondering which language it uses