3 ms·
No, a -> b -> c always means a -> (b -> c). a -> b -> c -> d always means a -> (b -> (c -> d)). "->" is right-associative.
by kenko 11y ago
No, a -> b -> c always means a -> (b -> c).
a -> b -> c -> d always means a -> (b -> (c -> d)).
"->" is right-associative.