add turing.hs