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.
changed the description
mentioned in merge request !1 (merged)
closed
mentioned in commit 87f4f2e3
mentioned in commit 28d1ccf5