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...)
-
-
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
How long does it take to compile the compiler itself? I once compiled Idris 1 on a Raspberry Pi (I think it was a Pi 2B at the time) and it took about 60 hours to finish.
-
There is essentially no chance of that working. This was via C generated on my laptop, which then takes ~200s to build on the Pi.
End of conversation
New conversation -
-
-
If you have easy to understand directions, and want a test done on a pi4. Gimme a shout
-
Once I've patched the run time system to not have my comedy time bug, I'll let you know! I think it'll need the 4gb version (it takes a touch over 50% RAM on mine)
- 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.