Every time I do the Idris tutorial talk, it feels like it needs about five lectures. Maybe I should arrange that some time.
@zerology I normally pick an example, do some live hacking, and don't get as far with it as I'd like
-
-
@edwinbrady Ah. I see :)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.