pi8027/typeinfer — Issue #31: 3.3.1 のCpアルゴリズムの誤字
Author: cutsea110
Created: 2011-11-08 22:41:10+00:00
State: open

Cp(Γ,e1 e2)の右辺。

let (c1,t1) = Cp(Γ,e1)
(t2,t2) = Cp(Γ,e2)
~~

let (c1,t1) = Cp(Γ,e1)
(c2,t2) = Cp(Γ,e2)
~~

ですね。