> let x = ((\x.x) (\x.x)) in (x 5)
>
> Since A != {} and M1 is an application...
I think this types OK in both?
--
Matej Pfajfar
St John's College, University of Cambridge, UK
GPG Public Keys @ http://matejpfajfar.co.uk/keys
WARNING: THIS E-MAIL ACCOUNT WILL BE DELETED ON
15/07/2002. PLEASE USE mp@cantab.net.