@edwinbrady no. That's hilarious.
-
-
-
@heades I'm running out of people who get caught out by it though... - 2 more replies
New conversation -
-
-
@edwinbrady@milessabin wouldn't it be fun to have an IRON CHEF style competition between dependently typed languages? :) -
@RanjitJhala I've looked up Iron Chef and now I'm scared...@milessabin
End of conversation
New conversation -
-
-
@edwinbrady Don't give in to bullies Edwin!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.