erm that should have been: @ICFPContest2015 or work on thesis...
@icfpcontest2015 (More seriously, I really need a couple of days off, which is a pity because I'd like to have a go!) @jfdm @kiniry @galois
-
-
@icfpcontest2015 Though if@jfdm needs any quick compiler fixes I'll see what I can do anyway :)@kiniry@galois -
@edwinbrady@ICFPContest2015@kiniry@galois indeed if I do choose to do the task i would be using idris... - 5 more replies
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.