Keith Wansbrough <Keith.Wansbrough at cl.cam.ac.uk> 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
Regards,
Malcolm