> Keith Wansbrough <[EMAIL PROTECTED]> writes: > > > > And I don't think "->" is part of the language - it only appears in the type > > syntax, not term syntax. If you allow it, you have to allow * as well. > > Errm, you just gave an example of -> in the term syntax... > > > (\x -> x*x) 3
Guilty... sorry! :-( --KW 8-) -- Keith Wansbrough <[EMAIL PROTECTED]> http://www.cl.cam.ac.uk/users/kw217/ University of Cambridge Computer Laboratory. _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe