Commit graph

5 commits

Author SHA1 Message Date
Pepe Navarro
09e2963e54
Fix references to "possibly unbound" diagnostics following rename to "possibly missing" (#1343)
Some checks failed
CI / python package (push) Has been cancelled
CI / pre-commit (push) Has been cancelled
CI / Check generated files unedited (push) Has been cancelled
CI / mkdocs (push) Has been cancelled
2025-10-13 13:38:20 +01:00
David Peter
75af7fca4d Minor adjustments to docs (#752) 2025-07-02 09:40:49 -05:00
Zanie Blue
3634c41020 Naively split the "Overview" page into child pages (#748)
Splits each top-level heading of the existing documentation into
a dedicated page as a starting point.

---------

Co-authored-by: David Peter <mail@david-peter.de>
2025-07-02 09:40:49 -05:00
Zanie Blue
5f9803b4fa
Split the documentation out of the top-level README (#331)
Moves most of the documentation into a dedicated `docs/README` to make
it easier to reach important content in the top-level readme like
"getting involved".

There are some minor changes to the heading levels here and link
changes, but otherwise the content is the same. Don't go deep on the
getting started section, that's changing in #329
2025-05-12 13:45:02 -05:00
Micha Reiser
b3073684d0
Reference documentation (#292) 2025-05-10 10:26:31 +00:00