Remove Haskell and Idris code