1 Jul
2016
1 Jul
'16
7:39 p.m.
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!