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.
Edited by Artin Ghasivand
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.