There was an error while loading. Please reload this page.
docs: build the wiki out from a one-line stub Was a single 29-byte page ('Welcome to the my-lang wiki!'). Now five pages: Home, Getting-Started, Architecture, Formal-Verification, Project-Status, plus a sidebar. Deliberately a NAVIGATIONAL layer that links to the in-repo documents kept in step with the code, so the wiki cannot quietly drift. Measured facts (221 tests, 0.2.0, proof status) are dated and sourced. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>