They solved the halting problem? 0.o
-
-
-
In a total language, you pretty much won't run into the halting problem, by design.
-
You do spend your day arguing with the type checker that this recursion is indeed well-founded.
End of conversation
New conversation -
-
-
The entire 2.5 weeks worth of
#dsss17 lectures is worth watchinghttps://twitter.com/daniel_bilar/status/892075631005007872 …Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
all you really need is "Secure by Design"..
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.