erm that should have been: @ICFPContest2015 or work on thesis...
-
-
Replying to @ICFPContest2015
@ICFPContest2015 ah erik and bart were old old supervisors. and Ishbel is away, I wonder what@edwinbrady would say...1 reply 0 retweets 0 likes -
Replying to @jfdm
@jfdm@edwinbrady Tell him that@kiniry said it was ok and that@galois is running the contest. In fact, force him to join your team.1 reply 0 retweets 1 like -
Replying to @ICFPContest2015
@icfpcontest2015 It looks a fun task but I have important cricket matches to watch this weekend…@jfdm@kiniry@galois1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@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@galois1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@icfpcontest2015 Though if@jfdm needs any quick compiler fixes I'll see what I can do anyway :)@kiniry@galois1 reply 0 retweets 1 like -
Replying to @edwinbrady
@edwinbrady@ICFPContest2015@kiniry@galois indeed if I do choose to do the task i would be using idris...2 replies 0 retweets 0 likes -
Replying to @jfdm
@jfdm@edwinbrady@ICFPContest2015@galois Part of our other contest idea *is* implemented in idris. Perhaps we’ll make it public.2 replies 2 retweets 1 like
@kiniry @jfdm @icfpcontest2015 @galois Knowing some of the people involved, that doesn't surprise me but still pleases me :)
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.