DHowell.ElSegundo@Xerox.COM (08/11/87)
Re: "not looking like Pascal is not a language deficiency" =>|!=> "looking like Pascal is a language deficiency" In article <190@xyzzy.UUCP>, "Wayne A. Throop" <throopw@xyzzy.uucp> writes: > (not (forall l (implies (not (pascallike l) (deficient l))))) > (forall l (implies (pascallike l) (deficient l))) > (exists l (not (implies (not (pascalllike l) (deficient l))))) > (exists l (and (not (pascalllike l)) (not (deficient l)))) > (forall l (or (not (pascallike l)) (deficient l))) > (not (exists l (and (pascallike l) (not (deficient l))))) I thought this was net.lang.c, not net.lang.lisp! :-) :-) Dan <DHowell.ElSegundo@Xerox.COM>