Did I say that out loud? Oops. Now literally everyone thinks I'm wrong...https://twitter.com/edwinbrady/status/846432531608207360 …
-
-
Replying to @edwinbrady
Counter-example: me. And there are many more. People who disagree deeply mis-understand dependent types & tests.
1 reply 0 retweets 2 likes -
Replying to @jjcarett2
I am using literally in the usual non literal sense :)
1 reply 0 retweets 3 likes -
Replying to @edwinbrady
Sure - but how was I going to pass up such an opening?
1 reply 0 retweets 0 likes
Replying to @jjcarett2
I'll set 'em up, you knock 'em in. :)
11:51 AM - 27 Mar 2017
0 replies
0 retweets
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.