https://tyu.lexbytes.org/docs/latest/ 2026-10-30T18:58:52Z https://tyu.lexbytes.org/docs/latest/getting-started/ 2026-10-30T18:58:52Z https://tyu.lexbytes.org/docs/latest/repl/ https://tyu.lexbytes.org/docs/latest/book/ 2026-10-22T20:08:44Z https://tyu.lexbytes.org/docs/latest/reference/developer-documentation/ 2026-10-01T22:30:00Z https://tyu.lexbytes.org/docs/latest/getting-started/setup/ 2026-10-01T22:30:00Z https://tyu.lexbytes.org/docs/latest/reference/glossary/ 2026-10-26T21:09:46Z https://tyu.lexbytes.org/docs/latest/book/ch01-the-rigor-is-the-engine/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/ch02-first-words/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/reference/ 2026-10-30T18:58:52Z https://tyu.lexbytes.org/docs/latest/book/ch03-types/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/ch04-contracts/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/ch05-effects-and-capabilities/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/ch06-the-stack-has-a-shape/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/ch07-places-borrowing-ownership/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/ch08-touching-hardware/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/ch09-factoring-style-becomes-proof/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/ch10-decomposition-information-hiding-enforced/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/ch11-shared-state-and-the-cross-context-rule/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/ch12-tasks-and-channels/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/ch13-field-updates-on-untrusted-media/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/ch14-proving-the-program/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/ch15-the-machine-as-witness/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/ch16-epilogue-tyus-effect-on-thinking/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/search/ https://tyu.lexbytes.org/docs/latest/book/appendices/ 2026-10-26T21:09:46Z https://tyu.lexbytes.org/docs/latest/book/appendices/appendix-a-language-reference/ 2026-10-01T22:30:00Z https://tyu.lexbytes.org/docs/latest/book/appendices/appendix-b-error-registry/ 2026-10-26T21:09:46Z https://tyu.lexbytes.org/docs/latest/book/appendices/appendix-c-toolchain-setup/ 2026-10-18T21:50:10Z https://tyu.lexbytes.org/docs/latest/book/appendices/appendix-d-style-summary/ 2026-10-01T22:30:00Z https://tyu.lexbytes.org/docs/ 2026-10-30T18:58:52Z https://tyu.lexbytes.org/ 2026-10-30T18:58:52Z