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 Acute tech report: errata corrige
Acute tech report: errata corrige
In minicaml-rt.mng v 1.673:
pag. 99, conclusion of type rule for ||: replace
eq by e_1.
pag. 128, fourth structural rule: replace En',e' by En';e'.
pag. 136, module field instantiation - module case, via import sequence:
replace [v']^T_eqs' by [v^eqs0]^T_eqs' in the reduction rule;
delete the condition v' = v.
pag. 143, mutexes, fourth reduction rule: replace TC' by TCC'.