I seem to be spending the evening trying to make Idris 2 run on a @Raspberry_Pi. I know how to have a good time.
(No, really, this is enormous fun. Getting there...)
-
-
It took ~50s to build the libraries (not using -O2 to build the C, but I'll try that later) compared to about 12s on my laptop. That's much better than I expected. That means Idris 2 on a Pi is more usable than Idris 1 on my laptop. Yay/Oh dear (depending on your point of view)
Show this thread -
Incidentally, the ":set cg racket" is because it was the only back end I could persuade to work. If Idris is ever close to as portable and usable as Racket I will be delighted.
Show this thread
End of conversation
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.