I hung out with @edwinbrady before he got famous ... #dependentlytypedhipster
Replying to @milessabin
@milessabin He (Adam Chlipala) also remarked that dependent types are cool now, but then he would say that.
11:06 AM - 17 Jul 2014
0 replies
0 retweets
1 like
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.