Rule `E-SYN` missing
In the extended version of paper, before adding the PATSYN
typing rule, A simple SYN
rule is added to the expression typing judgement. The rule is missing in the document.
In the extended version of paper, before adding the PATSYN
typing rule, A simple SYN
rule is added to the expression typing judgement. The rule is missing in the document.