@edwinbrady is it essential to customise the idris install for the tutorial on thursday?
@bishboria I hope not. I did have to upload a new version to hackage earlier - is it not working?
-
-
@edwinbrady i'm installing from cabal, on OS X, right now. Seems ok so far.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady installed fine.Thanks. 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.