@psnively @swartzrock Bah :(. I guess this is why people recommend sandboxes these days. If you're on OSX, maybe the pkg will be better.
@swartzrock @psnively ...in as much as "cabal install [anything]" is ever simple anyway.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@psnively@edwinbrady@swartzrock Install Nix package manager then install Idris from there. Works well and is sandboxed.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@darinmorrison@psnively@edwinbrady I got this: idris-0.9.13 depends on language-java-0.2.6 which failed to installThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.