Skip to content

Latest commit

 

History

History
16 lines (9 loc) · 857 Bytes

File metadata and controls

16 lines (9 loc) · 857 Bytes

Pony Tutorial

MkDocs-based tutorial site for the Pony programming language.

Local Verification

  • mkdocs: Run via venv (pip install -r requirements.txt, then mkdocs serve or mkdocs build)
  • cspell: Run using a Docker container (CI uses streetsidesoftware/cspell-action; locally, use docker run -v $(pwd):/workdir ghcr.io/streetsidesoftware/cspell:latest "docs/**/*.md")

llms.txt

The llmstxt MkDocs plugin (configured in mkdocs.yml) auto-generates llms.txt and llms-full.txt during build. When making changes to docs content or nav structure, verify that the llms.txt output is updated accordingly.

Code Samples

Code samples live in code-samples/ and are included in docs via --8<-- snippets inside fenced code blocks. Sample files are bare expressions (no actor Main) unless they need to compile standalone.