1 Apr
2008
1 Apr
'08
5:30 p.m.
On Apr 1, 2008, at 17:07 , PR Stanley wrote:
I'm beginning to wonder if I fully understand the right associativity rule for the -> operator.
Read a parenthesized unit as an argument:
(a -> (b -> (c -> d))) (((f 1) 2) 3) (((a -> b) -> c) -> d) (f (1 (2 3)))
-- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH