Skip to content

Fix of issue #3: Add Rule E-SYN

Artin Ghasivand requested to merge Ei30metry/haskell:esyn into master

Added the E-SYN typing rule, exactly as it appears in the Type Variables in Patterns: extended paper.

Merge request reports