Thanks to @pdxleif, I now know how to make OSX packages. Here's a test for Idris 0.9.10: http://www.idris-lang.org/pkgs/ Any volunteers to test it?
-
-
@edwinbrady that I'll be able to tell you later when I've a spare few minutes to write some codeThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady attempting to compile hello.idr from the tutorial fails: http://grab.by/rH4y -
@feyeleanor@edwinbrady I'd guess it'd require 'brew install gmp' for you to compile things: https://github.com/idris-lang/Idris-dev/wiki/Idris-on-OS-X-using-Homebrew#install-dependencies … - 1 more reply
New conversation -
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.