This rather ridiculous example typechecks about 30 times faster than Blodwen, so it's possible I should keep going on this one...https://gist.github.com/edwinb/56f6e9730b6a7ebca9f258f5222db6f4 …
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
in which language/backend
-
New...
End of conversation
New conversation -
-
-
Yes, udid
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Yay! Prof raffle is in the house!
-
Urgh autocorrect! *Yaffle
End of conversation
New conversation -
-
-
but does it solve the Halting Problem?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.