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
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
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.