update haskell and idris modes