Same day, same time, same city @edlambda and @WhyComputer . @edwinb 's dependently typed space invaders wins, for me.
-
-
@edwinbrady True! Although arriving at 9 and leaving again at 11 means I'll still miss your talk :)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.