File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -78,21 +78,21 @@ Quick start
7878
7979Mypy can be installed using pip:
8080
81- $ python3 -m pip install -U mypy
81+ python3 -m pip install -U mypy
8282
8383If you want to run the latest version of the code, you can install from git:
8484
85- $ python3 -m pip install -U git+git://github.com/python/mypy.git
85+ python3 -m pip install -U git+git://github.com/python/mypy.git
8686
8787
8888Now you can type-check the [ statically typed parts] of a program like this:
8989
90- $ mypy PROGRAM
90+ mypy PROGRAM
9191
9292You can always use the Python interpreter to run your statically typed
9393programs, even if mypy reports type errors:
9494
95- $ python3 PROGRAM
95+ python3 PROGRAM
9696
9797You can also try mypy in an [ online playground] ( https://mypy-play.net/ ) (developed by
9898Yusuke Miyazaki).
@@ -162,7 +162,7 @@ mypy approximately 4 times faster than if interpreted!
162162
163163To install an interpreted mypy instead, use:
164164
165- $ python3 -m pip install --no-binary mypy -U mypy
165+ python3 -m pip install --no-binary mypy -U mypy
166166
167167To use a compiled version of a development
168168version of mypy, directly install a binary from
You can’t perform that action at this time.
0 commit comments