Skip to content

Fix a typo in compatibility.v

Fengmin Zhu requested to merge (removed):master into master
Γ ⊢ (e1, e2) : A1 * A2

should be

Γ ⊨ (e1, e2) : A1 * A2

Merge request reports