Commit 0671ad01 authored by Ralf Jung's avatar Ralf Jung

Merge branch 'master' into 'master'

Fix a typo in compatibility.v

See merge request !3
parents 97a48702 8060a3d5
Pipeline #35574 passed with stage
in 4 minutes and 23 seconds
......@@ -18,7 +18,7 @@ is replaced semantic typing judgment in syntactic typing rules. For instance
becomes:
<<
(Γ ⊨ e1 : A1) -∗ (Γ ⊨ e2 : A2) -∗ Γ (e1, e2) : A1 * A2
(Γ ⊨ e1 : A1) -∗ (Γ ⊨ e2 : A2) -∗ Γ (e1, e2) : A1 * A2
>>
*)
......
......@@ -18,7 +18,7 @@ is replaced semantic typing judgment in syntactic typing rules. For instance
becomes:
<<
(Γ ⊨ e1 : A1) -∗ (Γ ⊨ e2 : A2) -∗ Γ (e1, e2) : A1 * A2
(Γ ⊨ e1 : A1) -∗ (Γ ⊨ e2 : A2) -∗ Γ (e1, e2) : A1 * A2
>>
*)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment