My experience of hacking on Idris 2 is that I'd have done it this way in the first place if only I'd tried writing a language like that before. Who would have thought it etc etc!https://twitter.com/steveklabnik/status/1222990451889909763 …
-
Show this thread
-
I am still doing it wrong of course. Just in new and creative ways. I'm sure there's worse ways to spend a career.
2 replies 1 retweet 15 likesShow this thread -
Replying to @edwinbrady
Hoe can you know what's right when you haven't yet figured out every way to be wrong?
2 replies 0 retweets 2 likes
Replying to @bodil
At least I'm getting good at being wrong :)
3:09 PM - 30 Jan 2020
0 replies
0 retweets
2 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.