It's probably time I stopped keeping this to myself. https://github.com/edwinb/Idris2-SH … More on this later, no doubt...
-
-
Which pi variant's that on, OOI?
-
The Pi4 with 4GB RAM. The 2gb one should be fine too.
End of conversation
New conversation -
-
-
Great work. Tempted to give it a try on termux :)
Thanks. 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.