diff --git a/docs/reference/quality.rst b/docs/reference/quality.rst index 12b665363..c8fed8332 100644 --- a/docs/reference/quality.rst +++ b/docs/reference/quality.rst @@ -195,10 +195,10 @@ library: better type coverage may differ. Some of the above recommendations may or may not be helpful to you, depending on which type checking tools you use. -``mypy`` disallow options +Mypy disallow options ------------------------- -``mypy`` offers several options which can detect untyped code. +Mypy offers several options which can detect untyped code. More details can be found in `the mypy documentation on these options `_. @@ -207,17 +207,17 @@ Some basic usages which make ``mypy`` error on untyped data are:: mypy --disallow-untyped-defs mypy --disallow-incomplete-defs -``pyright`` type verification +Pyright type verification ----------------------------- -pyright has a special command line flag, ``--verifytypes``, for verifying +Pyright has a special command-line flag, ``--verifytypes``, for verifying type completeness. You can learn more about it from `the pyright documentation on verifying type completeness `_. -``mypy`` reports +Mypy reports ---------------- -``mypy`` offers several options options for generating reports on its analysis. +Mypy offers several options for generating reports on its analysis. See `the mypy documentation on report generation `_ for details.