@edwinbrady Do you use the material of the current tutorial, or is there more material I missed? (Not exhaustive, I know :)
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 - 1 more reply
New conversation -
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.