It's probably time I stopped keeping this to myself. https://github.com/edwinb/Idris2-SH … More on this later, no doubt...
-
Show this thread
-
Because I know how to have fun, I'm currently seeing if this can build itself on my Raspberry Pi (initialised with Racket)
1 reply 0 retweets 17 likesShow this thread -
Success, finally! $ make bootstrap-racket [...wait about 25 minutes...] $ make install CG=racket $ idris2sh --client ':exec putStrLn "Hello RPi!"' --codegen racket Hello RPi!
2 replies 0 retweets 17 likesShow this thread -
Replying to @flippac
The Pi4 with 4GB RAM. The 2gb one should be fine too.
5:04 PM - 19 May 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.