Repository navigation

Add HTML docs and expand docs - #84

Merged

lagru merged 15 commits into

mainfrom

Oct 19, 2025

Commits on Aug 29, 2025

Draft HTML docs with Sphinx, Furo & myst parser
lagru
committed
32416db

Commits on Oct 19, 2025

Customize Furo and sphinx configuration
lagru
committed
2d322de
Tweak command line and configuration references
lagru
committed
c5c129d
Add a minimal glossary
lagru
committed
8d4e442
Tweak introduction
lagru
committed
47107fd
Update typing_syntax
lagru
committed
39400f7
Update README and doc landing page
lagru
committed
53cfe23
Add small off-topic TODO to GroupedErrorReporter
lagru
committed
fb65601
Account for updates in test_docs.py
lagru
committed
e76f055
Add small test for type nicknames
lagru
committed
8982854
Merge branch 'main' into html-docs
lagru
committed
e30210f
Add small off-topic TODO to ReportHandler
lagru
committed
07fd9c8
Use implicit heading anchors
lagru
committed
22010ac
Add basic .readthedocs.yaml (config)
lagru
committed
ad999c0
Try without "\" in sphinx-build command
lagru
committed
35b12ae