@@ -195,10 +195,10 @@ library:
195195 better type coverage may differ. Some of the above recommendations may or
196196 may not be helpful to you, depending on which type checking tools you use.
197197
198- `` mypy `` disallow options
198+ Mypy disallow options
199199-------------------------
200200
201- `` mypy `` offers several options which can detect untyped code.
201+ Mypy offers several options which can detect untyped code.
202202More details can be found in `the mypy documentation on these options
203203<https://mypy.readthedocs.io/en/latest/command_line.html#untyped-definitions-and-calls> `_.
204204
@@ -207,17 +207,17 @@ Some basic usages which make ``mypy`` error on untyped data are::
207207 mypy --disallow-untyped-defs
208208 mypy --disallow-incomplete-defs
209209
210- `` pyright `` type verification
210+ Pyright type verification
211211-----------------------------
212212
213- pyright has a special command line flag, ``--verifytypes ``, for verifying
213+ Pyright has a special command- line flag, ``--verifytypes ``, for verifying
214214type completeness. You can learn more about it from
215215`the pyright documentation on verifying type completeness
216216<https://github.com/microsoft/pyright/blob/main/docs/typed-libraries.md#verifying-type-completeness> `_.
217217
218- `` mypy `` reports
218+ Mypy reports
219219----------------
220220
221- `` mypy `` offers several options options for generating reports on its analysis.
221+ Mypy offers several options for generating reports on its analysis.
222222See `the mypy documentation on report generation
223223<https://mypy.readthedocs.io/en/stable/command_line.html#report-generation> `_ for details.
0 commit comments