Closed chrisbarrett closed 9 years ago
Really enjoying this, thanks for the hard work!
There's a typo in the lambda typing rule in Ch04 for the simply-typed LC. The types and the terms have been mixed up in the implication.
It reads
Γ, x : τ1 ⊢ e : τ2 ------------------- Γ ⊢ λx.τ2 : e1→e2
You probably meant
... ------------------- Γ ⊢ λx.e : τ1→τ2
Really enjoying this, thanks for the hard work!
There's a typo in the lambda typing rule in Ch04 for the simply-typed LC. The types and the terms have been mixed up in the implication.
It reads
You probably meant