26 Sep
2003
26 Sep
'03
6:17 p.m.
Keith Wansbrough <Keith.Wansbrough@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
Guilty... sorry! :-( --KW 8-) -- Keith Wansbrough <kw217@cl.cam.ac.uk> http://www.cl.cam.ac.uk/users/kw217/ University of Cambridge Computer Laboratory.