Page request: mypy about tldr

[gutjuri]

While this looks like a great package to document, looking at the documentation that you provided I couldn't find any command-line commands as it seems to be for Python.

There are some options that can be used to run mypy. They are documented here: https://mypy.readthedocs.io/en/stable/command_line.html

[MIfoodie]

While this looks like a great package to document, looking at the documentation that you provided I couldn't find any command-line commands as it seems to be for Python.

[MrMw3]

i think it's good to have this in tldr.

[spageektti]

Hi. I opened a PR adding a page for this command.