So, who's going to @edlambda to hear @edwinbrady's talk about dependently-typed Space Invaders tonight?
Replying to @pozorvlak
@pozorvlak I'm looking forward to finding out what I have to say. Better get on with it...
3:33 AM - 8 Oct 2013
0 replies
1 retweet
0 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.