In a nondeterministic lang, expressions can have >1 value. As a result, the computation is dealing with relations rather than functions
9:49 PM - 6 Jul 2016
0 replies
17 retweets
27 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.