@edwinbrady @d_christiansen @puffnfresh would any of you mind taking a quick look at this Idris question? http://stackoverflow.com/questions/28796570/idris-proof-that-specific-terms-are-impossible …
-
-
Replying to @goodacre_liam
@foGGyX I'm working on some last-minute writing at the moment, and that looks like it will take nontrivial time. cc@edwinbrady@puffnfresh2 replies 0 retweets 0 likes
Replying to @d_christiansen
@d_christiansen @foggyx @puffnfresh I had a quick look but it seems tricky… need to finish a paper myself too but I'll have another go later
10:57 AM - 15 Mar 2015
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.