@ChiefScientist awesome talk, thank you! 
-
-
-
Thank you. I hope you got a sticker :)
- 3 more replies
New conversation -
-
-
But this is not, I expect, a way to prove halting through a failure in typecheck?
-
No, indeed. Failure to type check could mean the conditions which guarantee looping aren’t satisfied.
End of conversation
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.