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...)
-
-
I have to go back to my proper job tomorrow, so polishing up the hacking I just did for others to play with will have to wait until next week when I'm back on strike again... (unless something good happens in the mean time)
Show this thread -
Still, one side effect is that there is now an Idris 2 you can build and install even if you don't have Idris 1, at https://www.idris-lang.org/pages/download.html …
Show this thread -
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 -
-
-
Is there a new version of "Type-Driven Development with Idris" coming out for Idris2 or will all the Idris1 samples still work?
- 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.