We can imagine that evaluating an `amb` expression causes time to split into branches, where the computation continues on each branch
5:49 PM - 17 Jun 2016
0 replies
3 retweets
11 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.