cabal update; cabal install idris