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 …
-
-
Ah, I see. I understood it more as some kind of general fear.
-
Sadly, from experience, but it's been a while. I should have another go, and at worst there'll be a thing I can put on the web that someone might like...
- 2 more replies
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.