I was thinking of submitting to @CodeMeshIO this year. Maybe I should offer a formalisation of cricket in Idris to make sure they don't take it...https://twitter.com/edwinbrady/status/1006257046495334401 …
-
-
Replying to @edwinbrady @CodeMeshIO
If you did, that might be the only cricket related thing I've not slept through.
1 reply 1 retweet 5 likes -
Replying to @milessabin @CodeMeshIO
I doubt I really would but I am totally willing to explain why it's fascinating over beer :). (And I may have done that a few times already...)
1 reply 0 retweets 2 likes -
Exactly how much beer? That strikes me as the sort of thing one would usually recall doing
1 reply 0 retweets 0 likes
Of course! But when you do things a lot you tend to forget exact details...
2:51 AM - 12 Jun 2018
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.