> http://yiap.nfshost.com/esoteric/unnecessary/unnecessary.html > > What a cute idea! Unfortunately, the interpreter doesn't meet their specification. That is, open() can raise IOError in cases where a file exists (such as when the user running the interpreter doesn't have the proper permissions). Clearly this should have been formally verified!
Description: OpenPGP digital signature