@bodil I first saw the Scala vs Idris talk in hope of a Thor & Scala mashup but alas no. In all seriousness your talk sounds v interesting
-
-
Replying to @yoditstanton
@yoditstanton@edwinbrady and I are much too nice for that to happen ;-) /cc@bodil1 reply 0 retweets 1 like
Replying to @milessabin
@milessabin I'm not even sure how that would work :). I propose a programming language version of Top Trumps. /cc @yoditstanton @bodil
2:48 AM - 23 Jan 2014
0 replies
2 retweets
2 likes
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.