ThinkingInTypes.com

• Run locally: mkdocs serve
• Deploy: mkdocs gh-deploy

• npx prettier --write . Reformats in-place all files in current directory
• npx prettier --write .\04_Using_Types.md Just reformats that file

• docker run -v ${PWD}:/data ghcr.io/bobheadxi/readable fmt * Formats Markdown files including Semantic Line Breaks
• sembr Just does semantic line breaks using AI, but it also breaks at clauses rather than just sentences.
• uvx mdformat Formats fenced code blocks in Markdown files (don't use this, use Ruff instead)

• https://pyre-check.org/ Pyre (this is discontinued; use Pyrefly instead)

.

• Add an appendix on hashing?
• Don't use TypeGuard: https://typing.python.org/en/latest/guides/modernizing.html#typing-typeguard

• Test on Linux Subsystem for Windows
• Tooling should allow easy round-trip update of an individual file, also easy insertion of a single code example