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...)
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)
-
-
Ah. I only have a 2gb pi4.
-
Challenge accepted, as long as the strike goes on long enough :)
- 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.