Refresh the bundled documentation from pudu-lang dev #9
open
@chrismichaelps wrote on 2026-09-24
The documentation bundled in src/PuduLangMcp/Generated/Docs.pudu predates chrismichaelps/pudu-lang#307. That change corrected the Collections chapter: items.get(i) stops the program at a missing position, and List.get(&items, i) answers an Option. The pudu_docs_* tools still serve the old, wrong sentence.
Acceptance: regenerate the corpus with tools/SyncDocs.pudu at pudu-lang dev 645c7113, and add a test that pins the corrected sentence.
