.
What kind of documentation? This is a little ambiguous. The code should be obviously written to be readable and documented according to the style popular with given language -- this usually means comments or equivalent mechanism.
Should the documentation include a mathematical proof of correctness of the program?
A dissertation about the program's design and design decisions made?
Installation instructions?
-- RadomirDopieralski, 2007-Nov-21
Yes.
-- YvesPiguet, 2007-Nov-21
"Yes" as in "all of the above"? This is quite a lot of work.
-- RadomirDopieralski, 2007-Nov-21
Yes, we should have some common sense here. A reference implementation should be easy to use and easy to grasp, be it with a good interface, clear code, good comments, good usage examples and/or good external documentation.
A mathematical proof of correctness would be difficult with the lack of precision of Creole 1.0.
-- YvesPiguet, 2007-Nov-21