Update docs

Author: paddyroddy

docs/pages/libraries/jupyter-notebooks.md

@@ -32,7 +32,7 @@ more reliably than [black] via [nbQA].
 | Name             | Short description                                                                |                      🚦                      |
 | ---------------- | -------------------------------------------------------------------------------- | :------------------------------------------: |
 | `black[jupyter]` | (also `black-jupyter`) [black] with the optional Jupyter extension.              | <span class="label label-green">Best</span>  |
-| [nbQA]           | Recommended for all other linters ([ruff], [isort]) and [mypy].                  | <span class="label label-green">Best</span>  |
+| [nbQA]           | Recommended for all other linters ([ruff], [isort]) and [ty].                    | <span class="label label-green">Best</span>  |
 | [pre-commit]     | Has cell output cleanup hooks (if desired). Also found to work well with [nbQA]. | <span class="label label-green">Best</span>  |
 | `nbqa black`     | [black] via [nbQA].                                                              | <span class="label label-yellow">Good</span> |
 
@@ -48,7 +48,7 @@ more reliably than [black] via [nbQA].
 [nbQA]: https://nbqa.readthedocs.io/en/latest/index.html
 [isort]: https://pycqa.github.io/isort
 [ruff]: https://github.com/charliermarsh/ruff
-[mypy]: https://mypy.readthedocs.io/en/stable
+[ty]: https://docs.astral.sh/ty/
 [pre-commit]: https://github.com/kynan/nbstripout
 [jupytext]: https://jupytext.readthedocs.io/en/stable/
 

docs/pages/linting.md

@@ -29,9 +29,10 @@ for some of these.
 
 ### Type checking
 
-| Name                                           | Short description                                                             |                     🚦                      |
-| ---------------------------------------------- | ----------------------------------------------------------------------------- | :-----------------------------------------: |
-| [mypy](https://mypy.readthedocs.io/en/stable/) | Static type checker, won't fail if no typing but will if typing is incorrect. | <span class="label label-green">Best</span> |
+| Name                                           | Short description                                                             |                      🚦                      |
+| ---------------------------------------------- | ----------------------------------------------------------------------------- | :------------------------------------------: |
+| [ty](https://docs.astral.sh/ty/)               | Static type checker, fast and rapidly developing.                             | <span class="label label-green">Best</span>  |
+| [mypy](https://mypy.readthedocs.io/en/stable/) | Static type checker, won't fail if no typing but will if typing is incorrect. | <span class="label label-yellow">Good</span> |
 
 ### Dependency checking
 

docs/pages/tutorial.md

@@ -403,7 +403,7 @@ The package is set-up to use [pre-commit](https://pre-commit.com/), a framework
 There is a `.pre-commit-config.yaml` configuration file which you can take a look at.
 With this setup `pre-commit` will run a series of fast linters, checks and formatters on the repository on every commit.
 
-The main tools we recommend are [ruff](https://docs.astral.sh/ruff/), [mypy](https://mypy.readthedocs.io/en/stable/) and [prettier](https://prettier.io/).
+The main tools we recommend are [ruff](https://docs.astral.sh/ruff/), [ty](https://docs.astral.sh/ty/) and [prettier](https://prettier.io/).
 These Git hook scripts can installed locally by running
 
 ```sh