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 …
-
-
Exactly how much beer? That strikes me as the sort of thing one would usually recall doing
-
Of course! But when you do things a lot you tend to forget exact details...
End of conversation
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.