erm that should have been: @ICFPContest2015 or work on thesis...
-
-
@edwinbrady@ICFPContest2015@kiniry@galois indeed if I do choose to do the task i would be using idris... -
@jfdm@edwinbrady@ICFPContest2015@galois Part of our other contest idea *is* implemented in idris. Perhaps we’ll make it public. - 4 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.