@edwinbrady Seems to install (in /usr/local/bin)
-
-
-
@khstandrews Hoorah! Of course the real test is if "hello world" compiles... - 5 more replies
New conversation -
-
-
@edwinbrady@pdxleif I'll have a play later today as I've been meaning to install Idris since seeing your@strangeloop_stl session -
@feyeleanor Thanks! Just want to know that you can type 'idris' and get a prompt. Hard for me to confirm that on my own machine :). - 3 more replies
New conversation -
-
-
@edwinbrady Hopefully not with the packagemaker GUI tool. That’s been deprecated. -
@j05e I used pkgbuild which is apparently part of XCode. - 3 more replies
New conversation -
-
-
@edwinbrady any special instructions? -
@psygnisfive I think you need libgmp if you want to compile. Otherwise, no.
End of conversation
New conversation -
-
-
-
@steshaw Yes. You have to trust me until I jump through whatever hoop I have to jump through. - 3 more replies
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.