The Hackage releases of Idris lack the LLVM backend and dynamic C libs, to make installation easier. If you want these, build from source.
Replying to @IdrisTips
@IdrisTips "cabal install idris -f ffi -f gmp -f llvm" should give you all the optional features too.
8:32 AM - 4 Feb 2014
0 replies
2 retweets
4 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.