@edwinbrady after poring over some #idris code i now feel like complete idriot
@eckardo are there things we can explain better in future tutorials? (Also, I like the word idriot, I assume it was intended!)
-
-
@edwinbrady yes the word was intended. It is the first stage of acquiring the zen of idris. We all start by being an idriot.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady as for the tutorials I will post something to the list about my troubles..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.