Skip to content

Commit

Permalink
fix: dead link in readme (#12702)
Browse files Browse the repository at this point in the history
`introduction.rst` has moved into `index.rst` in #12348.
  • Loading branch information
eggplants authored May 1, 2022
1 parent ce6d243 commit 33dbbd2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,7 @@ number = input("What is your favourite number?")
print("It is", number + 1) # error: Unsupported operand types for + ("str" and "int")
```

See [the documentation](https://mypy.readthedocs.io/en/stable/introduction.html) for more examples.
See [the documentation](https://mypy.readthedocs.io/en/stable/index.html) for more examples.

In particular, see:
- [type hints cheat sheet](https://mypy.readthedocs.io/en/stable/cheat_sheet_py3.html)
Expand Down

0 comments on commit 33dbbd2

Please sign in to comment.