pi8027/typeinfer — Issue #45: p11 型環境におけるスコープの説明
Author: cutsea110
Created: 2011-11-13 23:15:00+00:00
State: open

p11 下から7行目。

「例えば、x : t1 ∈ ∅, x : t1 , y : t2 は成立しますが、x : t2 ∈ ∅, x : t1 , x : t2 は成立しません。」
~~~~

は

「例えば、x : t1 ∈ ∅, x : t1 , y : t2 は成立しますが、x : t1 ∈ ∅, x : t1 , x : t2 は成立しません。」
~~~~

ですよね。