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...)
-
Show this thread
-
Replying to @edwinbrady
Which model? Because this might be relevant to my classes for teens
1 reply 0 retweets 0 likes
Replying to @ClarissaAdjoint
The Pi 4. It needs a touch over 2Gb RAM to compile the generated C. That bit works fine!
1:25 PM - 5 Mar 2020
0 replies
0 retweets
2 likes
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.