Help, I'm reading comments on /r/programming again, about dependent types... must... resist... joining... in...
@j05e ha ;). Though actually, I find it vaguely enlightening to see what misconceptions people have about our research... so we can fix it!
-
-
@j05e I've used that one in talks :) - 2 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.