"cabal build idris" I guess it was inevitable that I would type those words one day.
-
-
@edwinbrady@sigfpe A combination of three great technologies: "nix-env -i idris". You will probably type that some day as well. ;)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@sigfpe Idris installation went okay... attempt #1 hinted a certain library needed to be updated, second succeeded.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.