Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Correctness of
Correctness of the Type System
¡ÉReduction preserves well-typedness"
?, c:?t1 int chan; ?¨§ (spawn(fn()=>send(c, 3)); let v = recv(c) in ?)
?
?, c:?t1 int chan; ?¨§ let v = 3 in ?