I have a few times not written up "Here is how <thing> is done in Idris" because I expect to be told it's been done before. I should do it anyway, but it would essentially be done as a really nerdy hobby and I already have plenty of them...https://twitter.com/chris__martin/status/1096104726075244544 …
-
-
A big problem of the internet is that most people don't tell you if they liked something :). That's why I prefer public speaking.
-
I would like reading that. I could even say it on the internet!
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.