--- Ashley Yakeley wrote: > f a > reduces to > funapp f a > reduces to > funapp (funapp (funapp f)) a > reduces to > etc.
Not necessarily. If "funapp" is a new keyword, and there's a new grammar rule along the lines of expression :: "funapp" expression expression then it does not reduce to anything. -- a. __________________________________________________ Do you Yahoo!? HotJobs - Search new jobs daily now http://hotjobs.yahoo.com/ _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
