It turns out it doesn't quite work yet because the Idris runtime thinks the current time is a negative number on a 32 bit machine. I say this just in case: a) Anyone thinks time errors like the Y2K bug are made up b) Anyone might think I'm a competent unix programmer :)
-
-
Show this thread
-
-
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 -
-
-
Which model? Because this might be relevant to my classes for teens
-
The Pi 4. It needs a touch over 2Gb RAM to compile the generated C. That bit works fine!
End of conversation
New conversation -
-
-
There are obvious attractions to the raspi ofc but I'm wondering if bringing it up on a phone with Termux might have been easier just because midrange Android phones are arm64 now
-
I mostly tried this because I have a Pi at home that's plugged in to my router. But I want this working on a phone too. It's one of the things I want out of https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/T007265/1 …
- 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.