Skip to content

Add mkdocs documentation site#25

Merged
patrick-kidger merged 1 commit intopatrick-kidger:mainfrom
patrick-kidger-bot:add-documentation
Apr 4, 2026
Merged

Add mkdocs documentation site#25
patrick-kidger merged 1 commit intopatrick-kidger:mainfrom
patrick-kidger-bot:add-documentation

Conversation

@patrick-kidger-bot
Copy link
Copy Markdown

Adds a proper documentation site using mkdocs-material, analogous to the other libraries (wadler_lindig, jaxtyping, diffrax, equinox, etc.).

Changes:

  • mkdocs.yml: mkdocs-material configuration following the same pattern as the other libraries (theme, plugins, nav, etc.).
  • docs/: documentation pages:
    • index.md: landing page with intro, installation, quick example.
    • api/basic.md: loops, threading, sleeping, error propagation (with mkdocstrings references).
    • api/synchronisation.md: as_completed, Barrier, Event, Lock, Semaphore, timeout, TimeoutError.
    • api/patterns.md: async context managers and async iterators.
    • api/integrations.md: to/from asyncio and trio.
    • api/isolate.md: isolate and copy.
    • faq.md: the existing FAQ content.
    • _static/, _overrides/, .htaccess: standard supporting files.
  • README.md: trimmed to intro + installation + link to docs + collapsed FAQ. All inline documentation removed.

@patrick-kidger patrick-kidger merged commit 6fb67a5 into patrick-kidger:main Apr 4, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants