Does it say that the submission was sent back?

For the "suspicious" people, this seems to imply the code was final:

> It is significant that [people] were all surprised and suspicious when we told them that Haskell prototype P1 (see appendix B) is a complete tested executable program.

For the people critiquing "cleverness", that seems completely valid whether or not it's actual code or pseudocode.