Just in time for https://www.skillsmatter.com/meetups/6182-hands-on-idris … too :). Perhaps I should hide this evening.
@bishboria It's Go club night, so naturally :). Will be interested to hear how it goes, tonight, of course.
-
-
@edwinbrady I'm heading that way just now. Early, but I'll hack on something :)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.