It's probably time I stopped keeping this to myself. https://github.com/edwinb/Idris2-SH … More on this later, no doubt...
-
-
Success, finally! $ make bootstrap-racket [...wait about 25 minutes...] $ make install CG=racket $ idris2sh --client ':exec putStrLn "Hello RPi!"' --codegen racket Hello RPi!
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.