From the same thread, I think this a thing @pigworker said, but many of us in the world of dependently typed programming are just trying to have conspicuously more fun than everyone else.https://twitter.com/raganwald/status/1214967178837016581 …
-
Show this thread
I still shout at the Idris type checker and error messages far too much to believe we're there yet, but at least it's right much more often than I am these days...
0 replies
1 retweet
18 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.