how to read A → B → C ?

Stream: new members

[rzeta0]

I'm uncertain (again) about how to read expressions of the form

A → B → C

Deducing the meaning from the context whenever I see it, I assume it means

(A ∧ B ) → C

But I suspect this isn't right, because if it were, why would you have a different syntax?

[Kyle Miller]

They are logically equivalent (exercise for you! prove (A → B → C) ↔ ((A ∧ B ) → C)), but they are not literally the same (as evidenced by the fact the logical equivalence requires proof).

[Matt Diamond]

You can think of it like A → (B → C)... a function that takes an A and returns a function of type B → C

or if A then (if B then C)