The nondeterministic evaluator supports the illusion that time branches, and that our programs have different possible execution histories
3:46 PM - 13 Jun 2016
0 replies
8 retweets
19 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.