Skip to content
GitLab
Explore
Sign in
The source project of this merge request has been removed.
Fix a typo in compatibility.v
Fengmin Zhu
requested to merge
(removed):master
into
master
Oct 10, 2020
Overview
1
Pipelines
0
Changes
2
Expand
Γ ⊢ (e1, e2) : A1 * A2
should be
Γ ⊨ (e1, e2) : A1 * A2
Merge request reports